生物：

研究兴趣：应用编程语言和软件工程

• 抽象的语言机制（声明性语言、程序生成、DSL、模块和组件、泛型、可扩展语言、多仿生编程）
• 程序分析和测试（指针分析、自动测试生成、不变推理、符号执行）
• 系统语言和工具（并发编程模型、分布式计算语言支持、内存管理和程序局部性）