嵌入式系统设计科学挑战与未来方向不锈钢阀滚轴真人CS手机IC钽电容器

嵌入式系统设计——科学挑战与未来方向

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

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

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

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