Joseph Sifakis教授是全球知名的计算机科学家。由于在“将模型检查发展为被硬件和软件业中所广泛采纳的高效验证”技术上的贡献,于2007年获得计算机科学领域最高奖——ACM图灵奖。作为法国的知名科学家,他是法国国家科研中心(CNRS)的研究总监,法国国家科研中心2001年银质奖章的获得者。同时,他也是位于法国Grenoble的顶尖嵌入式系统研究中心Verimag实验室的创始人。
Joseph Sifakis教授首先与梅宏院长进行了会谈。梅宏院长向Sifakis教授介绍了信息科学技术学院的基本情况以及正在进行的重大研究课题,双方就相关研究领域的热点研究课题交换了意见。Sifakis教授建议北京大学与欧洲的科研院所在信息技术领域进行更加深入的合作。双方初步商定由北京大学高可信软件技术教育部重点实验室承办由欧洲嵌入式系统设计研究联盟ARTIST发起的2010年“嵌入式系统暑期学校”。随后,Sifakis教授与软件研究所相关研究领域的师生就一些正在开展的研究问题进行了座谈。
Joseph Sifakis教授在雅典技术大学获得电机工程学位,在Grenoble大学获得计算机科学博士学位。作为欧洲“卓越网络”(Network of Excellence)嵌入式系统设计研究联盟“ARTIST2 Embedded Systems Design”的技术协调人,他主要对35个欧洲研究小组的研究进行协调,以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。