Joseph Sifakis
Joseph Sifakis（约瑟夫·希发基思），1946年出生于希腊伊拉克利翁，1976年拥有法国公民身份，目前是希腊和法国双国籍。他于1974年获得法国格勒诺布尔大学计算机科学博士学位；1979年获得法国格勒诺布尔大学计算机科学教学资格。他是法国格勒诺布尔大学智能软件与系统集成研究中心主任，也是位于法国格勒诺布尔以嵌入式系统著称世界的研究中心Verimag实验室（UJF/CNRS/INPG）的创始人和研究主任，欧洲“卓越网络”嵌入式系统设计研究联盟的科学协调人。
Joseph Sifakis是欧洲科学院、法国科学院、法国工程院、美国国家工程院等多个院士，他和Edmund Clarke（美国卡耐基梅隆大学教授）及Allen Emerson（美国得克萨斯大学奥斯汀分校教授）一起荣获了2007年度图灵奖。这是法国研究人员第一次获得这个享有“计算机界诺贝尔奖”之称的著名奖项。他们在开发模型检查方面发挥了重要作用，检查了硬件和软件行业广泛采用的高效验证技术。
教育经历
1969年，希腊雅典技术大学电气工程学士；
1972年，法国格勒诺布尔大学计算机科学硕士；
1974年，法国格勒诺布尔大学计算机科学博士。
职位成就
1974年-至今，担任法国格勒诺布尔大学Verimag实验室研究员、研究主任；
1992-1997年，法国格勒诺布尔大学计算机科学博士研究系主任；
1993-2006年，法国格勒诺布尔大学Verimag实验室创始人兼主任；
2004-2012年，ARTIST欧洲嵌入式系统设计卓越网络科学总监；
2008-2011年，INRIA-Schneider工业主席；
2010年-至今，法国格勒诺布尔大学智能软件与系统集成研究中心主任；
2011-2016年，瑞士洛桑联邦理工学院（EPFL）教授，“严格系统设计实验室”主任。
荣誉奖项
2001年，法国国家科学研究中心（CNRS）银牌；
2007年，图灵奖；
2008年，欧洲科学院（Academia Europaea）院士；
2008年，法国工程院院士；
2008年，法国国家勋章办公室主任；
2010年，法国科学院院士；
2010年，英联邦和民主希腊议会奖；
2011年，法国荣誉军团司令官；
2012年，莱昂纳多达芬奇奖章；
2012年，凤凰城希腊勋章司令官；
2013年，希腊凤凰社指挥官；
2014-2016年，希腊国家研究与技术委员会主席；
2015年，美国艺术与科学院院士；
2017年，美国国家工程院院士；
2019年，中国科学院外籍院士。
欢迎转发分享，您的每一次分享都是机会！：招商突击队 » Joseph Sifakis（约瑟夫·希发基思）：2007年图灵奖得主、欧洲科学院院士、法国科学院院士、法国工程院院士、美国国家工程院院士、中国科学院外籍院士
