参会嘉宾

Joseph Sifakis

62f200098f16d.jpg

Joseph Sifakis

Professor Joseph Sifakis is Emeritus Research Director at Verimag. His current research interests cover fundamental and applied aspects of autonomous system design with focus on self-driving cars.

Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, a leading laboratory in the area of safety critical systems that he directed for 13 years.

In 2007, Joseph Sifakis received the Turing Award, recognized as the "highest distinction in computer science", for his contribution to the theory and application of model checking, the most widely used system verification technique.

Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering, a member of Academia Europea, a member of the American Academy of Arts and Sciences, a member of the National Academy of Engineering and a member of the Chinese Academy of Sciences. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He is a Commander of the Order of the Phoenix. He has received the Leonardo da Vinci Medal in 2012.

62f2004bcd323.png

约瑟夫·希发基斯(Joseph Sifakis)

约瑟夫·希发基斯教授现任Verimag实验室名誉研究主任,目前的研究领域包括自主系统设计的基础和应用方面,重点关注自动驾驶汽车。

2011~2016年期间,约瑟夫·希发基斯教授一直担任洛桑联邦理工学院(EPFL)全职教授。他还是格勒诺布尔Verimag实验室创始人,并担任了13年的主任。Verimag实验室是安全关键系统领域的领先实验室。

2007年,约瑟夫·希发基斯教授获得国际计算机界最高奖的“图灵奖”,以表彰他在模型检测的理论和应用上所做出的杰出贡献,而模型检测是应用最广泛的系统验证技术。

约瑟夫·希发基斯教授现任法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国人文和科学院院士、美国工程院院士和中国科学院院士。他曾获得法国国家功勋勋章大军官勋位,并担任法国荣誉军团、凤凰社指挥官。2012年,荣获达芬奇奖章。

主办单位

北京市人民政府 中华人民共和国工业和信息化部 中国科学技术协会

承办单位

中国电子学会 北京市经济和信息化局 北京经济技术开发区管委会
获取有关世界机器人大会的最新动态 请扫描左侧二维码关注大会官方微信
中国电子学会 © 2015-2021 All rights reserved备案号:京ICP备12041980号-10