星空游戏官网:

　　是世界闻名嵌入式体系专家，首要研讨范畴是模型检测及嵌入式体系模块规划与验证。他于1981年独立提出模型检测验证的办法，这一办法被大范围的应用于芯片检测、通讯协议、嵌入式体系和安全算法等范畴。2007年，他因在模型查验理论和应用上的卓越贡献而被颁发图灵奖（与之同年获奖的是两位美国计算机科学家Edmund Clarke和E. Allen Emerson）。他是（CNRS）的研讨总监、法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士、美国国家工程院院士、中国科学院外籍院士。他曾取得法国国家勋章以及法国荣誉军团勋章，并于2012年取得了达芬奇奖章。现在Sifakis教授在法国的格勒诺布尔以嵌入式体系著称世界的研讨中心VERIMAG试验室进行研讨工作，他自己也是VERIMAG试验室的创始人。Sifakis教授先后于2017年5月和12月、2018年6月屡次拜访哈工大计算机学院，并担任哈工大物联网世界试验室主任。