生物:我是科罗拉多大学博尔德分校计算机科学系和编程语言与验证小组的助理教授。
我主要从事编程语言和程序分析领域的工作。我的研究兴趣集中在构建、理解和确保可靠计算系统的工具和技术上。目前,我的重点是使用与程序员交互的新方法来设计更精确和实用的程序分析。Xisa项目就是这种方法的一个实例,它可以推断复杂数据结构操作的精确属性。Xisa的新颖之处在于它从可执行断言中提取了必要的不变量和推理规则(类似于通常为测试编写的数据结构验证代码)。这种方法允许开发人员将分析重点放在感兴趣的属性上,而无需使用单独的形式来进行测试和静态分析。
2008年,我在加州大学伯克利分校EECS系的George Necula获得了博士学位。在2009年1月加入科罗拉多大学博尔德分校之前,我还与杰夫·福斯特(Jeff Foster)一起在马里兰大学的PLUM小组做了2008年秋季的博士后。
甚至更早的时候,我在卡内基梅隆大学(Carnegie Mellon University)度过了本科时光,与弗兰克·普芬宁(Frank Pfenning)和鲍勃·哈珀(Bob Harper)一起完成了一篇高级论文。