约瑟夫·希发基思
约瑟夫·希发基思（JosephSifakis），1946年12月出生于希腊，希腊和法国双重国籍，计算机科学家，中国科学院外籍院士，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文与科学院院士，美国国家工程院外籍院士，法国Verimag实验室荣誉科研主任，南方科技大学计算机科学与工程系杰出教授。约瑟夫·希发基思1964年—1969年就读于雅典国家技术大学，毕业后获得电子工程学士学位；1972年获得法国格勒诺布尔大学计算机科学硕士学位；1979年获得法国格勒诺布尔大学计算机科学博士学位；1974年—2011年任法国Verimag实验室科研主任；2008年当选为法国工程院院士和欧洲科学院院士；2010年当选为法国科学院院士；2011年—2016年任瑞士联邦理工学院教授；2015年当选为美国人文与科学院院士；2016年起任法国Verimag实验室荣誉科研主任；2017年当选为美国国家工程院外籍院士；2018年任南方科技大学计算机科学与工程系杰出教授；2019年当选为中国科学院外籍院士。约瑟夫·希发基思主要从事模型检测及嵌入式系统设计与验证等领域的研究。
基本资料
中文名：约瑟夫·希发基思
外文名：JosephSifakis
国籍：法国
出生地：希腊
出生日期：1946年12月
毕业院校：格勒诺布尔大学
职业：教育科研工作者
主要成就：2008年当选为法国工程院院士
2008年当选为欧洲科学院院士
2010年当选为法国科学院院士
2015年当选为美国人文与科学院院士
2017年当选为美国国家工程院外籍院士
2019年当选为中国科学院外籍院士
人物经历
1946年12月，约瑟夫·希发基思（JosephSifakis）出生于希腊。
1964年—1969年，就读于雅典国家技术大学，毕业后获得电子工程学士学位。
1970年—1972年，就读于法国格勒诺布尔大学，毕业后获得计算机科学硕士学位。
1973年—1979年，就读于法国格勒诺布尔大学，毕业后获得计算机科学博士学位。
1974年—2011年，任法国Verimag实验室科研主任。
2008年，当选为法国工程院院士；同年，当选为欧洲科学院院士。
2010年，当选为法国科学院院士。
2011年—2016年，任瑞士联邦理工学院教授。
2015年，当选为美国人文与科学院院士。
2016年起，任法国Verimag实验室荣誉科研主任。
2017年，当选为美国国家工程院外籍院士。
2018年，任南方科技大学计算机科学与工程系杰出教授。
2019年，当选为中国科学院外籍院士。
主要成就
约瑟夫·希发基思科研成就
科研综述
约瑟夫·希发基思（JosephSifakis）在1979年提出了通过对时序逻辑公式的计值来验证并发系统性质的思想，得到了一系列理论结果，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。在此基础上他进一步提出了带有“until”算子的分支时序逻辑来表达“公平性”。他的这些工作与卡耐基梅隆大学Clarke教授、得克萨斯大学奥斯汀分校Emerson教授同时期的工作一起，为模型检测这个研究领域的创立和发展奠定了理论基础。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，取得了成功，成为分析、验证并发系统性质的最重要的技术，被Intel、IBM、微软等公司用于日常生产实践中。
2019年，约瑟夫·希发基思牵头组建了斯发基斯可信自主系统研究院。
约瑟夫·希发基思（JosephSifakis）在法国格勒诺布尔创建了国际嵌入式系统研究中心Verimag实验室。
学术交流
约瑟夫·希发基思人才培养
培养成果
据2022年10月中国科学院官网显示，约瑟夫·希发基思（JosephSifakis）已指导培养了6名中国留学生和博士后，这些学生已成为中国科学院软件所、浙江大学、军事科学院等单位的科研骨干。
约瑟夫·希发基思荣誉表彰
社会任职
人物评价
“约瑟夫·希发基思是欧洲嵌入式系统研究的先驱，他对模型检测做出了开创性贡献。”（中国科学院评）
“约瑟夫·希发基思（JosephSifakis）对模型检查理论与技术做出了奠基性贡献。”（美国计算机协会评）