上海交通大学长聘教轨副教授。清华大学计算机科学与技术系学士学位，美国麻省理工学院计算机科学系硕士、博士学位。先后在美国谷歌公司、美国脸谱公司工作。长期从事分布式系统和程序设计语言方面的研究，掌握了世界领先的技术，在理论和实践方面都有深厚的积累。2021年12月加入上海交通大学清源研究院。研究领域：程序设计语言，程序自动合成，程序分析，软件可靠性和安全性，分布式系统和大数据。