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

欧洲科学院

院士

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

欧洲科学院

院士

美国国家科学院、美国工程院院士Donald Knuth照片
Donald Knuth

美国国家科学院、美国工程院

院士

香港中文大学(深圳)副校长罗智泉照片
罗智泉

香港中文大学(深圳)

副校长

上海科技大学信息科学与技术学院教授马毅照片
马毅

上海科技大学信息科学与技术学院

教授

携程可观测平台研发负责人毛咏伟照片
毛咏伟

携程

可观测平台研发负责人

广发银行信息科技部数据管理处负责人张文博照片
张文博

广发银行

信息科技部数据管理处负责人

小米计算平台产品经理何婵照片
何婵

小米

计算平台产品经理

中国民航信息集团有限公司股份公司副总经理李劲松照片
李劲松

中国民航信息集团有限公司

股份公司副总经理

平安人寿架构与数据管理团队副总经理朱晟照片
朱晟

平安人寿

架构与数据管理团队副总经理

同职位嘉宾推荐
中国工程院院士沈昌祥照片
沈昌祥

中国工程院

院士

中国工程院院士何德全照片
何德全

中国工程院

院士

中国工程院院士杨小牛照片
杨小牛

中国工程院

院士

中国科学院院士林群照片
林群

中国科学院

院士

中国科学院院士倪光南照片
倪光南

中国科学院

院士

Joseph Sifakis出席会议日程

你想参加