图灵奖得主Joseph Sifakis在线学术报告：Autonomous Systems

         Joseph Sifakis是世界著名嵌入式系统专家，主要研究领域是模型检测及嵌入式系统设计与验证。他于1981年独立提出模型检验方法，这一方法被广泛应用于芯片检测、通讯协议、嵌入式系统以及安全算法等领域。2007年，他因在模型检验理论和应用上的卓越贡献而被授予图灵奖（与之同年获奖的是两位美国计算机科学家Edmund Clarke和E. Allen Emerson）。…