Skip to content
活动家资讯

活动家资讯

传递会议价值_深度行业分析

  • 商务会议
  • 游学
    • 国内标杆
    • 海外考察
  • 国际展会
  • 会议资讯
  • 演讲嘉宾
  • 发布活动
  • 订单查询

Joseph Sifakis简历_欧洲科学院院士Joseph Sifakis受邀参会演讲_活动家

Posted on 2021年5月27日 By 活动家编辑小助手

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.

活动家是第三方嘉宾邀约平台。可根据演讲议题、会议日期、活动预算等要求,为您提供该领域内专业嘉宾演讲邀约服务,专家学者嘉宾远程视频分享发言,祝福致辞视频拍摄,网红明星艺人VCR活动录制,代言邀约,企业家国际顾问咨询服务。您可准备好活动信息后,联系电话:18911802888(王老师)(工作日9时至18时,仅邀约嘉宾出席活动,其他需求勿扰)

演讲嘉宾

文章导航

Previous Post: 黄宁博简历_X电子科技集团第54研究所研究员黄宁博受邀参会演讲_活动家
Next Post: 姜建清简历_X工商银行董事长姜建清受邀参会演讲_活动家

More Related Articles

马全治简历_阿里云游戏云事业部总经理马全治受邀参会演讲_活动家 演讲嘉宾
王仁元简历_宁波市卫生计生委主任王仁元受邀参会演讲_活动家 演讲嘉宾
沙炎简历_主任医师、教授沙炎受邀参会演讲_活动家 演讲嘉宾
王志新简历_上海交通大学教授王志新受邀参会演讲_活动家 演讲嘉宾
杨皓钧简历_天使村行秘书长杨皓钧受邀参会演讲_活动家 演讲嘉宾
王泽锋简历_PaaS开发部高级工程师华为王泽锋受邀参会演讲_活动家 演讲嘉宾
  • 跑会指南
  • 演讲嘉宾
  • 会议报道
  • 商业资讯
  • IT互联网
  • 金融财经
  • 医疗医学
  • 能源化工
  • 农林牧渔
  • 综合行业
  • 区块链

手机购票

近期文章

  • 2025年全国地理科学类一流本科专业建设研讨会
  • 第六届创新与知识管理 国际会议(iKM2025)
  • 2025人工智能与行业数字化转型国际会议
  • 第13届国际图象图形学学术会议(ICIG 2025)
  • 第三届光学与光子学国际学术会议(IACOP2025)
  • 【高校主办|EI检索】2025年第三届智能轨道,交通与运输工程国际会议(ICSTTE 2025)
  • CIAI2025第十届中国国际人工智能大会
  • 第四届云计算、大数据应用与软件工程国际学术会议 (CBASE 2025)
  • EIS 中国电子通信半导体数智创新峰会
  • 第四届人工智能与智能信息处理国际学术会议(AIIIP 2025)

猜你喜欢

运维 移动互联网 云计算 人工智能 消费金融 UWB专利 投融资 FinTech 医药 网络安全 大数据 Chengkok 创业创新 架构 跨境电商物联网 智慧医疗 环保 生物技术智能制造 零售业 新能源汽车 活动家
活动家资讯

蜀ICP备17005018-3号

Copyright © 2025 活动家资讯.

Powered by PressBook Blog WordPress theme