火狐网页15年专注排水排污管道清淤/疏通 化粪池/隔油池/污水池清理/管道疏通/外墙清洗一条龙服务
当前位置:首页 > 公司图库

图灵奖取得者Joseph Sifakis在线学术报告:Autonomous Systems

来源:火狐网页    发布时间:2025-11-23 22:08:47

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

  【高水平期刊修改进校园】——Cell Press修改讲座告诉 Top Editors’ Campus Lecture Series —— Publishing with Editors From Cell Press

  【明德讲堂第九十六期】托木斯克国立大学Yudin Nikolay Nikolaevich研讨员学术报告告诉

  【讲座告诉】德国开姆尼茨工业大学Oliver G. Schmidt院士

  航天学院、电气学院联合举行“星海‘航’纪·‘电’亮芳华”支部大舞台活动

  【赋能未来】未来技术学院“为你而来” 二级心思辅导站2025秋第十三周预定组织

  航天学院二级心思辅导站、工作规划咨询室秋季学期第十三周预定告诉暨辅导员下沉工作组织公示