知识
在计算机科学和技术的璀璨星河中，约瑟夫·希发基思（Joseph Sifakis）教授犹如一颗熠熠生辉的巨星，以其对嵌入式系统领域的卓越贡献而备受瞩目。2007年，他因其在模型检测这一关键技术上的开创性工作，与Clarke教授和Emerson教授共同荣获了计算机界最高荣誉——美国计算机协会（ACM）颁发的图灵奖。
约瑟夫·希发基思（Joseph Sifakis），1946年12月出生于希腊，希腊和法国双重国籍，计算机科学家，中国科学院外籍院士，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文与科学院院士，美国国家工程院外籍院士，法国Verimag实验室荣誉科研主任，南方科技大学计算机科学与工程系杰出教授。
约瑟夫·希发基思1964年—1969年就读于雅典国家技术大学，毕业后获得电子工程学士学位；1972年获得法国格勒诺布尔大学计算机科学硕士学位；1979年获得法国格勒诺布尔大学计算机科学博士学位；1974年—2011年任法国Verimag实验室科研主任；2008年当选为法国工程院院士和欧洲科学院院士；2010年当选为法国科学院院士；2011年—2016年任瑞士联邦理工学院教授；2015年当选为美国人文与科学院院士；2016年起任法国Verimag实验室荣誉科研主任；2017年当选为美国国家工程院外籍院士；2018年任南方科技大学计算机科学与工程系杰出教授；2019年当选为中国科学院外籍院士。
约瑟夫·希发基思主要从事模型检测及嵌入式系统设计与验证等领域的研究。
约瑟夫·希发基思近照1946年12月，约瑟夫·希发基思（Joseph Sifakis）出生于希腊。
1964年—1969年，就读于雅典国家技术大学，毕业后获得电子工程学士学位。
1970年—1972年，就读于法国格勒诺布尔大学，毕业后获得计算机科学硕士学位。
1973年—1979年，就读于法国格勒诺布尔大学，毕业后获得计算机科学博士学位。
1974年—2011年，任法国Verimag实验室科研主任。
2008年，当选为法国工程院院士；同年，当选为欧洲科学院院士。
2010年，当选为法国科学院院士。
2011年—2016年，任瑞士联邦理工学院教授。
2015年，当选为美国人文与科学院院士。
2016年起，任法国Verimag实验室荣誉科研主任。
2017年，当选为美国国家工程院外籍院士。
2018年，任南方科技大学计算机科学与工程系杰出教授。
2019年，当选为中国科学院外籍院士。
2001年：法国国家科学研究中心银质奖章
2007年：图灵奖
2008年：法国工程院院士
2008年：欧洲科学院院士
2009年：希腊议会和民主议会基金会奖
2010年：法国科学院院士
2012年：达芬奇奖章
2015年：美国人文与科学院院士
2017年：美国国家工程院外籍院士
2019年：中国科学院外籍院士、法国荣誉军团勋章
文明上网，理性发言，共同做网络文明传播者