应北京大学信息科学技术学院的邀请，法国著名计算机科学家、2007年度图灵奖获得者Joseph Sifakis教授于10月28日下午访问北大，并莅临北京大学“信息技术与信息化”名家讲坛，为信息学院师生做了题为“嵌入式系统设计——科学挑战与未来方向”的精彩报告。

   Joseph Sifakis教授是全球知名的计算机科学家。由于在“将模型检查发展为被硬件和软件业中所广泛采纳的高效验证”技术上的贡献，于2007年获得计算机科学领域最高奖——ACM图灵奖。作为法国的知名科学家，他是法国国家科研中心（CNRS）的研究总监，法国国家科研中心2001年银质奖章的获得者。同时，他也是位于法国Grenoble的顶尖嵌入式系统研究中心Verimag实验室的创始人。

   Joseph Sifakis教授首先与梅宏院长进行了会谈。梅宏院长向Sifakis教授介绍了信息科学技术学院的基本情况以及正在进行的重大研究课题，双方就相关研究领域的热点研究课题交换了意见。Sifakis教授建议北京大学与欧洲的科研院所在信息技术领域进行更加深入的合作。双方初步商定由北京大学高可信软件技术教育部重点实验室承办由欧洲嵌入式系统设计研究联盟ARTIST发起的2010年“嵌入式系统暑期学校”。随后，Sifakis教授与软件研究所相关研究领域的师生就一些正在开展的研究问题进行了座谈。

   座谈会结束后，Sifakis教授为北大师生奉献了题为《嵌入式系统设计——科学挑战与未来方向》的精彩演讲。报告中阐述了现代信息社会所面临的挑战，嵌入式系统设计所面临的技术瓶颈以及解决方法。演讲结束之后，Sifakis教授与在场的师生就嵌入式系统的设计、正确性验证和未来发展方向等问题进行了热烈的讨论。

   Joseph Sifakis教授在雅典技术大学获得电机工程学位，在Grenoble大学获得计算机科学博士学位。作为欧洲“卓越网络”（Network of Excellence）嵌入式系统设计研究联盟“ARTIST2 Embedded Systems Design”的技术协调人，他主要对35个欧洲研究小组的研究进行协调，以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。

   Sifakis教授的研究工作具有开创性价值并且引导出了新的软件规范的创建、新的检测算法以及杰出的理论结果。这项技术今天被应用于集成电路工业中以便设计复杂的系统并能够使其保证符合预设的规范。模型检查在嵌入式处理器和关键系统方面的产业影响在未来的几年里将会更加显著。