约瑟夫·斯发基斯

约瑟夫·斯发基斯
image
约瑟夫·斯发基斯（Joseph Sifakis）是一位杰出的希腊裔法国计算机科学家，以其在模型检测和嵌入式系统领域的开创性工作而闻名。斯发基斯出生于1946年，在希腊的雅典国立技术大学学习电气工程，并在法国格勒诺布尔大学学习计算机科学，获得了工程博士学位和国家博士学位。他是法国国家科学研究中心（CNRS）VERIMAG实验室的名誉研究主任及创始人，并在多个国际学术机构中担任重要职务。

人物经历

1964年—1969年，就读于雅典国家技术大学，毕业后获得电子工程学士学位。
1970年—1972年，就读于法国格勒诺布尔大学，毕业后获得计算机科学硕士学位。
1973年—1979年，就读于法国格勒诺布尔大学，毕业后获得计算机科学博士学位。