88 优惠券
2020年3月1日到期。满 200 元可用
立即使用
立即使用

首页>演讲嘉宾> Joseph Sifakis更新时间:2018-06-29

欧洲科学院院士Joseph Sifakis照片
Joseph Sifakis

Joseph Sifakis is Emeritus Senior CNRS Researcher at Verimag. His current research interests cover fundamental and applied aspects of embedded systems design. The main focus of his work is on the formalization of system design as a process leading from given requirements to trustworthy, optimized and correct-by-construction implementations. 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, which he directed for 13 years. Verimag is a leading research laboratory in the area of embedded systems, internationally known for the development of the Lustre synchronous language used by the SCADE tool for the design of safety-critical avionics and space applications. In 2007, Joseph Sifakis has received the Turing Award for his contribution to the theory and application of model checking, the most widely used system verification technique today. Joseph Sifakis has had numerous administrative and managerial responsibilities both at French and European level. He has actively worked to reinvigorate European research in embedded systems as the scientific coordinator of the « ARTIST » European Networks of Excellence, for ten years. He has participated in many major industrial projects led by companies such as Airbus, EADS, France Telecom, Astrium, and STMicroelectronics. Joseph Sifakis is a member of the French Academy of Sciences, a member of the French National Academy of Engineering and a member of Academia Europea and a member of the American Academy of Arts and Sciences, and a member of the National Academy of Engineering. He is a Grand Officer of the French National Order of Merit, a Commander of the French Legion of Honor. He has received the Leonardo da Vinci Medal in 2012. Joseph Sifakis has received in 2009 the Award of the Hellenic Parliament Foundation for Parliamentarism and Democracy. He is a commander of the Greek Order of the Phoenix. He has been the President of the Greek Council for Research and Technology for the period February 2014 – April 2016.

活动家是第三方嘉宾邀约平台。可根据演讲议题、会议日期、活动预算等要求,为您提供该领域内专业嘉宾演讲邀约服务。您可准备好活动信息后,联系客服电话:18911802888(工作日9时至18时,仅邀约嘉宾出席活动,其他需求勿扰)

您可能感兴趣的嘉宾 最新入驻
换一批
欧洲科学院院士Igor Drstvensek照片
Igor Drstvensek

欧洲科学院

院士

欧洲科学院院士樊文飞照片
樊文飞

欧洲科学院

院士

臻识科技联合创始人兼CEO任鹏照片
任鹏

臻识科技

联合创始人兼CEO

云孚科技CEO张文斌照片
张文斌

云孚科技

CEO

阿里巴巴集团安全部资深总监张玉东照片
张玉东

阿里巴巴集团

安全部资深总监

国泰君安首席信息官俞枫照片
俞枫

国泰君安

首席信息官

携程技术副总裁,技术中心负责人,技术委员会主席马超照片
马超

携程

技术副总裁,技术中心负责人,技术委员会主席

智谱CEO张鹏照片
张鹏

智谱

CEO

智谱 AI CEO张鹏照片
张鹏

智谱 AI

CEO

中国中医科学院博士后管理办公室主任苏庆民照片
苏庆民

中国中医科学院

博士后管理办公室主任

同职位嘉宾推荐
中国工程院、中南大学  院士桂卫华照片
桂卫华

中国工程院、中南大学

院士

中国工程院院士杨裕生照片
杨裕生

中国工程院

院士

中国科学院金属研究所 中国科学院院士成会明照片
成会明

中国科学院金属研究所 中国科学院

院士

中国水利水电科学研究院院士王浩照片
王浩

中国水利水电科学研究院

院士

中国工程院院士欧阳平凯照片
欧阳平凯

中国工程院

院士

Joseph Sifakis出席会议日程

你想参加