约瑟夫·希发基思(Joseph Sifakis),1946年12月出生于希腊,希腊和法国双重国籍,计算机科学家,中国科学院外籍院士,法国工程院院士,欧洲科学院院士,法国科学院院士,美国人文与科学院院士,美国国家工程院外籍院士,法国Verimag实验室荣誉科研主任,南方科技大学计算机科学与工程系杰出教授。约瑟夫·希发基思1964年—1969年就读于雅典国家技术大学,毕业后获得电子工程学士学位;1972年获得法国格勒诺布尔大学计算机科学硕士学位;1979年获得法国格勒诺布尔大学计算机科学博士学位;1974年—2011年任法国Verimag实验室科研主任;2008年当选为法国工程院院士和欧洲科学院院士;2010年当选为法国科学院院士;2011年—2016年任瑞士联邦理工学院教授;2015年当选为美国人文与科学院院士;2016年起任法国Verimag实验室荣誉科研主任;2017年当选为美国国家工程院外籍院士;2018年任南方科技大学计算机科学与工程系杰出教授;2019年当选为中国科学院外籍院士。约瑟夫·希发基思主要从事模型检测及嵌入式系统设计与验证等领域的研究。