约瑟夫·希发基思

约瑟夫·希发基思（Joseph Sifakis）1946年12月出生于希腊，希腊和法国双重国籍，计算机科学家，中国科学院外籍院士，法国工程院院士，欧洲科学院院士，法国科学院院士，美国人文与科学院院士，美国国家工程院外籍院士，Verimag实验室荣誉科研主任，南方科技大学计算机科学与工程系杰出教授，曹操出行AI创新中心首席科学顾问。^[1][2][3][4]

约瑟夫·希发基思主要研究领域是模型检测及嵌入式系统设计与验证。由于对模型检测的开创性贡献，他于2007年获颁图灵奖。2009年，他获希腊议会和民主议会基金会奖。2012年，他荣获达芬奇奖章。此外，他还是格勒诺布尔Verimag实验室的创始人。^[1][2][5]

2026年8月，约瑟夫·希发基思会作为国外嘉宾参加在北京举办的2026世界机器人大会。^[5][6]

1946年12月，约瑟夫·希发基思出生。1964年至1969年，他就读于雅典国家技术大学，毕业后获得电子工程学士学位。1970年至1972年，就读于法国格勒诺布尔大学，毕业后获得计算机科学硕士学位。1973年至1979年，就读于法国格勒诺布尔大学，毕业后获得计算机科学博士学位。^[1][2]

格勒诺布尔Verimag实验室成立后，作为创始人的约瑟夫·希发基思于1974年至2011年任实验室科研主任。任职期间，2008年，他当选为法国工程院院士；同年，当选为欧洲科学院院士；2010年，约瑟夫·希发基思当选为法国科学院院士。^[1][2][5]

2011年至2016年，约瑟夫·希发基思任瑞士联邦理工学院教授。期间，他于2014年至2016年任希腊科学技术委员会主席，于2015年当选为美国人文与科学院院士。^[1][2]

2016年起，约瑟夫·希发基思任法国Verimag实验室荣誉科研主任。2017年，他当选为美国国家工程院外籍院士。^[1][2]

2017年8月起，他担任清华大学计算机学科顾问委员会委员。2019年1月，他出任南方科技大学杰出教授。^[1]

2019年11月22日，2019年中国科学院院士增选当选院士名单公布，约瑟夫·希发基思当选中国科学院外籍院士。^[7]

2026年6月，约瑟夫·希发基思正式受邀出任曹操出行AI创新中心首席科学顾问。^[4]

2026年8月，约瑟夫·希发基思会作为国外嘉宾参加在北京举办的2026世界机器人大会。^[5][6]

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

约瑟夫·希发基思提出了首个面向带时间分支时序逻辑TCTL的符号模型检测算法，并以该算法为基础实现了适用于实时系统模型检测的验证工具Kronos。^[1]

此外，约瑟夫·希发基思还频繁来中国开展学术访问。他在中国科学院软件所、计算所、清华大学、北京大学、西北工业大学、东北大学、哈尔滨工业大学、华东师范大学、深圳大学、华为公司等处做过学术报告。^[1][3]