上海交通大学长聘教轨副教授，系统安全性与可靠性研究组（Systems Security and Reliability Research Group）负责人。清华大学计算机科学与技术系学士学位，美国麻省理工学院计算机科学系硕士、博士学位。先后在美国谷歌公司、美国脸谱公司工作。长期从事分布式系统和程序设计语言方面的研究，掌握了世界领先的技术，在理论和实践方面都有深厚的积累。2021年12月加入上海交通大学清源研究院。研究领域：程序设计语言、信息安全、软件可靠性和安全性，操作系统和分布式系统。地址：SEIEE-3-301/剑川路930号A栋320A