Joseph Sifakis

TA 是谁?

约瑟夫·西法基斯（Joseph Sifakis）（希腊语：Iωσήφ Σηφάκης；生于 1946 年 12 月 26 日）是一位希腊裔法国计算机科学家。由于在模型检查方面的工作，他与 Edmund M. Clarke 和 E. Allen Emerson 一起荣获 2007 年图灵奖。

履历

1. 1946
   Born
2. 2001
   Won CNRS silver medal
3. 2007
   Won Turing Award
4. 2008
   Member of Academia Europaea
5. Member of French Academy of Technologies
6. Member of American Academy of Arts and Sciences
7. Won Commander of the Legion of Honour
8. Won Grand Officer of the National Order of Merit
9. Won honorary doctor of the École polytechnique fédérale de Lausanne

趣闻

• •Place of birth: Heraklion
• •Citizenship: Greece, France
• •Known as: computer scientist, engineer, researcher