Joseph Sifakis

Joseph Sifakis（希腊语：Iωσήφ Σηφάκης）是一位希腊裔法国计算机科学家。由于他在模型检查方面的工作，他与 Edmund M. Clarke 和 E. Allen Emerson 一起获得了 2007 年图灵奖。 Joseph Sifakis 1946 年出生于克里特岛伊拉克利翁，现居法国。他获得法国奖学金，在雅典国立技术大学学习电气工程，并在格勒诺布尔大学学习计算机科学。他于 1974 年在格勒诺布尔大学获得工程学博士学位，[1] 并于 1979 年获得该校的国家博士学位。 [2][3][4] 他目前是格勒诺布尔附近的 VERIMAG 实验室国家科学研究中心的名誉研究主任，他是该实验室的创始人。 Sifakis 一直是模型检查和嵌入式系统领域的领军人物。他与 Edmund M. Clarke 和 Amir Pnueli 共同创立了 CAV 会议，该会议于 1989 年在格勒诺布尔首次组织。他一直是 ARTIST 欧洲嵌入式系统研究卓越网络的协调员 [5]（2004-2012 年）。领域： 计算机科学 教育背景： 雅典国立技术大学 学士 格勒诺布尔大学 硕士 博士 获奖情况： 图灵奖 (2007)、达芬奇奖章 (2012)

法国工程院院士（2008年）、法国科学院院士（2010年）、欧洲科学院院士（2008年）、美国艺术与科学院院士（2015年）、美国国家工程院院士（2017年）、中国科学院院士（2019年）、美国国家科学院院士（2024年）。