约瑟夫·希发基思（Joseph Sifakis）1946年12月出生于希腊，希腊和法国双重国籍，计算机科学家，中国科学院外籍院士，法国工程院院士，欧洲科学院院士，法国科学院院士，美国艺术与科学院院士，美国国家工程院外籍院士，Verimag实验室荣誉科研主任，南方科技大学计算机科学与工程系杰出教授，曹操出行AI创新中心首席科学顾问。
约瑟夫希发基思主要研究领域是模型检测及嵌入式系统设计与验证。由于对模型检测的开创性贡献，他于2007年获颁图灵奖。2009年，他获希腊议会和民主议会基金会奖。2012年，他荣获达芬奇奖章。此外，他还是格勒诺布尔Verimag实验室的创始人。
2026年8月，约瑟夫·希发基思会作为国外嘉宾参加在北京举办的2026世界机器人大会。
人物经历
早年经历
1946年12月，约瑟夫·希发基思出生。1964年至1969年，他就读于雅典国家技术大学，毕业后获得电子工程学士。1970年至1972年，就读于法国格勒诺布尔大学，毕业后获得计算机科学硕士学位。1973年至1979年，就读于法国格勒诺布尔大学，毕业后获得计算机科学博士学位。
工作经历
格勒诺布尔Verimag实验室成立后，作为创始人的约瑟夫·希发基思于1974年至2011年任实验室科研主任。任职期间，2008年，他当选为法国工程院院士；同年，当选为欧洲科学院院士；2010年，约瑟夫·希发基思当选为法国科学院院士。
2011年至2016年，约瑟夫希发基思任苏黎世联邦理工学院教授。期间，他于2014年至2016年任希腊科学技术委员会主席，于2015年当选为美国艺术与科学院院士。
2016年起，约瑟夫·希发基思任法国Verimag实验室荣誉科研主任。2017年，他当选为美国国家工程院外籍院士。
2017年8月起，他担任清华大学计算机学科顾问委员会委员。2019年1月，他出任南方科技大学杰出教授。
2019年11月22日，2019年中国科学院院士增选当选院士名单公布，约瑟夫·希发基思当选中国科学院外籍院士。
2026年6月，约瑟夫·希发基思正式受邀出任曹操出行AI创新中心首席科学顾问。
2026年8月，约瑟夫希发基思会作为国外嘉宾参加在北京举办的2026世界机器人大会。
学术研究
约瑟夫·希发基思在1979年提出了通过对时序逻辑公式的计值来验证并发系统性质的思想，得到了一系列理论结果，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。在此基础上他进一步提出了带有“until”算子的分支时序逻辑来表达“公平性”。他的这些工作与卡耐基·梅隆大学Clarke教授、德克萨斯州大学奥斯汀分校Emerson教授同时期的工作一起，为模型检测这个研究领域的创立和发展奠定了理论基础。模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，取得了成功，成为分析、验证并发系统性质的最重要的技术，被英特尔、IBM、微软等公司用于日常生产实践中。
约瑟夫·希发基思提出了首个面向带时间分支时序逻辑TCTL的符号模型检测算法，并以该算法为基础实现了适用于实时系统模型检测的验证工具Kronos。
此外，约瑟夫希发基思还频繁来中国开展学术访问。他在中国科学院软件所、中国科学院计算技术研究所、清华大学、北京大学、西北工业大学、东北大学、哈尔滨工业大学、华东师范大学、深圳大学、华为等处做过学术报告。
所获荣誉
参考来源：
参考资料 >
约瑟夫·希发基思（Joseph Sifakis）.中国科学院.2026-07-18
Joseph, SIFAKIS.南方科技大学.2026-07-18
2019新春特稿①：国际化办学稳步推进 重大项目开花结果.南方科技大学新闻网.2026-07-18
Joseph Sifakis任曹操出行AI创新中心首席科学顾问.界面新闻.2026-07-18
Joseph Sifakis-国外嘉宾-2026世界机器人大会-2026世界机器人大会.世界机器人大会.2026-07-18
首页.世界机器人大会.2026-07-18
关于公布2019年中国科学院院士增选当选院士名单的公告.中国科学院.2026-07-18
图灵奖获得者约瑟夫•斯发基思教授学术报告.东北大学信息科学与工程学院.2026-07-18