约瑟夫·希发基思（Joseph Sifakis），1946年12月出生于希腊，希腊和法国双重国籍，计算机科学家，中国科学院外籍院士，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文与科学院院士，美国国家工程院外籍院士，法国Verimag实验室荣誉科研主任，南方科技大学计算机科学与工程系杰出教授。

1946年12月，约瑟夫·希发基思（Joseph Sifakis）出生于希腊。

1964年—1969年，就读于雅典国家技术大学，毕业后获得电子工程学士学位。

1970年—1972年，就读于法国格勒诺布尔大学，毕业后获得计算机科学硕士学位。

1973年—1979年，就读于法国格勒诺布尔大学，毕业后获得计算机科学博士学位。

1974年—2011年，任法国Verimag实验室科研主任。

2008年，当选为法国工程院院士；同年，当选为欧洲科学院院士。

2010年，当选为法国科学院院士。

2011年—2016年，任瑞士联邦理工学院教授。

2015年，当选为美国人文与科学院院士。

2016年起，任法国Verimag实验室荣誉科研主任。

2017年，当选为美国国家工程院外籍院士。

2018年，任南方科技大学计算机科学与工程系杰出教授。

2019年，当选为中国科学院外籍院士。

约瑟夫·希发基思（Joseph Sifakis）在1979年提出了通过对时序逻辑公式的计值来验证并发系统性质的思想，得到了一系列理论结果，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。在此基础上他进一步提出了带有“until”算子的分支时序逻辑来表达“公平性”。他的这些工作与卡耐基梅隆大学Clarke教授、得克萨斯大学奥斯汀分校Emerson教授同时期的工作一起，为模型检测这个研究领域的创立和发展奠定了理论基础。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，取得了成功，成为分析、验证并发系统性质的最重要的技术，被Intel、IBM、微软等公司用于日常生产实践中。

2019年，约瑟夫·希发基思牵头组建了斯发基斯可信自主系统研究院。

约瑟夫·希发基思（Joseph Sifakis）在法国格勒诺布尔创建了国际嵌入式系统研究中心Verimag实验室。

据2022年10月中国科学院官网显示，约瑟夫·希发基思（Joseph Sifakis）已指导培养了6名中国留学生和博士后，这些学生已成为中国科学院软件所、浙江大学、军事科学院等单位的科研骨干。

“约瑟夫·希发基思是欧洲嵌入式系统研究的先驱，他对模型检测做出了开创性贡献。”（中国科学院评）

“约瑟夫·希发基思（Joseph Sifakis）对模型检查理论与技术做出了奠基性贡献。”（美国计算机协会评）