约瑟夫·希发基思简介
基本资料
中文名：约瑟夫·希发基思
外文名：Joseph Sifakis
国籍：法国
出生地：希腊
出生日期：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年，当选为中国科学院外籍院士。
主要成就
约瑟夫·希发基思科研成就
科研综述
约瑟夫·希发基思（Joseph Sifakis）在1979年提出了通过对时序逻辑公式的计值来验证并发系统性质的思想，得到了一系列理论结果，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。在此基础上他进一步提出了带有“until”算子的分支时序逻辑来表达“公平性”。他的这些工作与卡耐基梅隆大学Clarke教授、得克萨斯大学奥斯汀分校Emerson教授同时期的工作一起，为模型检测这个研究领域的创立和发展奠定了理论基础。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，取得了成功，成为分析、验证并发系统性质的最重要的技术，被Intel、IBM、微软等公司用于日常生产实践中。
2019年，约瑟夫·希发基思牵头组建了斯发基斯可信自主系统研究院。
约瑟夫·希发基思（Joseph Sifakis）在法国格勒诺布尔创建了国际嵌入式系统研究中心Ver
社会任职
时间 | 担任职务 |
|---|---|
2014年—2016年 | 希腊科学技术委员会主席 |
2017年8月 | 清华大学计算机学科顾问委员会委员 |
人物评价
“约瑟夫·希发基思是欧洲嵌入式系统研究的先驱，他对模型检测做出了开创性贡献。”（中国科学院评）
“约瑟夫·希发基思（JosephSifakis）对模型检查理论与技术做出了奠基性贡献。”（美国计算机协会评）