我的团队致力于开发工具，在开发过程中为开发人员提供可操作的反馈。如果反馈与程序员的任务相关，如果程序员可以依赖反馈的正确性，如果反馈及时到达，那么反馈是可操作的。我们得到的反馈可以保护开发人员避免引入不安全的代码、安全漏洞和违反规范，同时还可以通知开发工具，如编译器优化和重构。为了实现这一愿景，我们对编程语言、算法和软件验证进行了基础研究，以实现在实践中有用的可操作反馈。