更新时间：2024-09-20 13:56
约瑟夫·斯发基斯（Joseph Sifakis）是一位杰出的希腊裔法国计算机科学家，以其在模型检测和嵌入式系统领域的开创性工作而闻名。斯发基斯出生于1946年，在希腊的雅典国立技术大学学习电机工程学，并在法国格勒诺布尔大学学习计算机科学，获得了工程博士学位和国家博士学位。他是法国国家科学研究中心（CNRS）VERIMAG实验室的名誉研究主任及创始人，并在多个国际学术机构中担任重要职务。
1964年—1969年，就读于雅典国家技术大学，毕业后获得电子工程学士。
1970年—1972年，就读于法国格勒诺布尔大学，毕业后获得计算机科学硕士学位。
1973年—1979年，就读于法国格勒诺布尔大学，毕业后获得计算机科学博士学位。
1974年—2011年，任法国Verimag实验室科研主任。
2008年，当选为法国工程院院士；同年，当选为欧洲科学院院士。
2010年，当选为法国科学院院士。
2011年—2016年，任苏黎世联邦理工学院教授。
2015年，当选为美国艺术与科学院院士。
2016年起，任法国Verimag实验室荣誉科研主任。
2017年，当选为美国国家工程院外籍院士。
2019年，当选为中国科学院外籍院士。
2021年7月，斯发基斯参加了世界人工智能大会。
约瑟夫希发基思（Joseph Sifakis）在1979年提出了通过对时序逻辑公式的计值来验证并发系统性质的思想，得到了一系列理论结果，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。在此基础上他进一步提出了带有“until”算子的分支时序逻辑来表达“公平性”。他的这些工作与卡耐基·梅隆大学Clarke教授、得克萨斯大学奥斯汀分校Emerson教授同时期的工作一起，为模型检测这个研究领域的创立和发展奠定了理论基础。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，取得了成功，成为分析、验证并发系统性质的最重要的技术，被英特尔、IBM、微软等公司用于日常生产实践中。
2019年，约瑟夫·希发基思牵头组建了斯发基斯可信自主系统研究院。
约瑟夫·希发基思（Joseph Sifakis）在法国格勒诺布尔创建了国际嵌入式系统研究中心Verimag实验室。
据2022年10月中国科学院官网显示，约瑟夫希发基思（Joseph Sifakis）已指导培养了6名中国留学生和博士后，这些学生已成为中国科学院软件所、浙江大学、军事科学院等单位的科研骨干。
约瑟夫·希发基思是欧洲嵌入式系统研究的先驱，他对模型检测做出了开创性贡献（中国科学院评）。
约瑟夫·希发基思（Joseph Sifakis）对模型检查理论与技术做出了奠基性贡献（美国计算机协会评）。