图灵奖得主Joseph Sifakis确认列席2018大湾区国际科创峰会 ...

2018年10月18日-19日，由深圳市科创委员会指导，亿欧公司主办的“引擎·引领” 2018大湾区国际科创峰会（BATi）将于深圳浩荡召开。

图灵奖得主Joseph Sifakis确认列席“引擎·引领” 2018大湾区国际科创峰会（BATi）

【人物引见】

Joseph Sifakis（约瑟夫·斯发基斯），著名计算机科学家，2007 年图灵奖得主，欧洲科学院院士、法国科学院院士、美国文文科学院院士、美国国度工程院院士。

Joseph Sifakis年轻时分别在希腊的雅典国立科技大学的电子工程系和法国的University of Grenoble计算机系学习。目前Joseph Sifakis是法国国度科学研讨中心（CNRS）研讨总监，而且是法国国度科研中心2001年银质奖章的取得者，获有工程师博士学位和法国格勒诺布尔一大(UJF)国度博士生学位。

同时，Joseph Sifakis亦是位于法国格勒诺布尔以嵌入式系统著称世界的研讨中心Verimag实验室(UJF/CNRS/INPG)的开创人，是普遍应用于工业界的"模型检查"技术的发明者。由于将模型检查措施应用于实时系统的考证方面的工作，Joseph Sifakis在国际上享有名誉。

因在模型检验范畴的出色贡献，Joseph Sifakis在2007年，与卡耐基梅隆大学爱德蒙克拉克教授（Edmund Clarke）、得克萨斯大学奥斯汀分校艾伦爱默生教授（Allen Emerson）共同取得了有着“计算机界的诺贝尔奖”之称的图灵奖，成为法国第一位获此殊荣的科学家。

近几年，随着计算机整体技术水平的展开，物联网被公以为与人工智能，AR/VR 并列未来三大主流技术，而物联网系统（Internet of Things）的重要位置愈发凸显，而将模型检测推向应用的 Joseph Sifakis 不止用该自动考证技术保障了航空，军工等保险攸关行业的保险落地展开，还对物联网的基础支撑技术——嵌入式系统深有研讨。10月18日，Joseph Sifakis将列席“引擎·引领” 2018大湾区国际科创峰会（BATi），与我们分享“物联网时期，嵌入式系统如何更好落地，推进大湾区的智能产业展开”。

报名链接：https://www.iyiou.com/post/ad/id/664?herkunft=6648

【大会引见】

在“粤港澳大湾区”成为国度展开战略、规划纲要行将出炉的大背景下，由亿欧公司主办的“2018大湾区国际科创峰会”（Bay Areas Tech Innovation Summit, 简称BATi）将于10月18-19日在深圳举行。

深圳市科技创新委员会作为本次峰会的指导单位，梁永生主任将列席会议并作致辞。深圳市科技创新委员会作为深圳市的科技行政主管部门，鼎力夯实科技创新基础、推进创新举措落地、完善创重生态体系，推进科技创新由跟跑、并跑，向领跑迈进。

在这个时期，不论信息如何兴隆，走在科技最前沿，关于科技了解最深化的永远都是斗争在科研一线的专家学者，他们知晓未来技术将发明什么样的新机遇，也明了其将带来什么样的新应战。“2018大湾区国际科创峰会（BATi）”将约请人工智能、生物医药等多个范畴的专家学者列席，带来最前沿技术的解读。

随着一大批科创企业纷繁登陆资本市场，创业创新进入了一个新阶段。新阶段，如何掌握新趋向就至关重要，“2018大湾区国际科创峰会（BATi）”将约请IDG资本合伙人牛奎光、高榕资本开创合伙人高翔等投资大佬齐聚峰会圆桌，分享创业创新的新方向。

2018年以来，智能产品、新消费品牌大量呈现，作为科技中心和消费中心，“粤港澳”在这两方面的优势得天独厚，一大批创业公司崛起：大疆、优必选、柔宇科技、碳云智能、商汤科技等，将在“2018大湾区国际科创峰会（BATi）”上集中展示。此外，为促进“粤港澳”融合，将有特地的环节，使香港、澳门和内地的青年创业者将在峰会上中止对话。

2018年10月18日、19日，我们等候与您相聚于这场2018大湾区顶级科创峰会，共同开启世界新硅谷——粤港澳大湾区的新篇章！

更多活动详情：https://www.iyiou.com/post/ad/id/664?herkunft=6648