我是库里学院计算机科学在东北大学.

我的主要研究兴趣是机械化形式验证以及计算系统的验证。是什么指导了我的研究是可以使用形式化方法实现的愿景革命性地设计和实现各种可靠、健壮和可扩展的系统重要应用领域，包括大的基于组件的软件系统到硬件系统航空航天系统从计算生物学到公共卫生。我的其他区域感兴趣的包括编程语言、分布式计算、逻辑、软件工程、算法、计算机建筑、航空航天和教育学。