麻省理工学院（MIT）计算机科学系教授，计算机科学和人工智能实验室（CSAIL）副主任。美国国家研究院（NationalAcademies）关于软件可靠性研究的负责人。因其对软件研究做出的贡献，获得美国计算机协会（ACM）颁发的“影响力”奖和“杰出研究”奖



Alloy软件建模语言的首/席设计师，与美国国家航空航天局（NASA）、哈佛大学麻省总医院（MGH）以及丰田公司开展过软件项目合作。