图灵奖得主Joseph Sifakis确认出席2018大湾区国际科创峰会（BATi）

本文摘要：2018年10月18日-19日，亿欧公司主办，思贝克牵头主办的“引擎·引导” 2018大湾区国际科创峰会（BATi）将于深圳盛大开会。图灵奖获得者Joseph Sifakis证实参加“引擎·引导” 2018大湾区国际科创峰会（BATi）【人物讲解】Joseph Sifakis（约瑟夫·斯发基斯），知名计算机科学家，2007 年图灵奖获得者，欧洲科学院院士、法国科学院院士、美国文理科学院院士、美国国家工程院院士。

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 AreasTech Innovation Summit, 全称BATi）将于10月18-19日在深圳举办。

在这个时代，不论信息如何繁盛，回头在科技最前沿，对于科技解读最深刻印象的永远都是努力奋斗在科研一线的专家学者，他们知悉未来技术将建构什么样的新机遇，也清了其将带给什么样的新挑战。“2018大湾区国际科创峰会（BATi）”将邀人工智能、生物医药等多个领域的专家学者参加，带给最前沿技术的理解。随着一大批科创企业争相登岸资本市场，创业创意转入了一个新阶段。

新阶段，如何做到新趋势就至关重要，“2018大湾区国际科创峰会（BATi）”将邀IDG资本合伙人牛奎光、高榕资本创立合伙人高翔等投资大佬齐聚峰会圆桌，共享创业创意的新方向。2018年以来，智能产品、新的消费品牌大量经常出现，作为科技中心和消费中心，“粤港澳”在这两方面的优势得天独厚，一大批创业公司兴起：大疆、优必选、柔宇科技、碳云智能、商汤科技等，将在“2018大湾区国际科创峰会（BATi）”上集中于展出。

此外，为增进“粤港澳”融合，将有专门的环节，使香港、澳门和内地的青年创业者将在峰会上展开对话。2018年10月18日、19日，我们期望与您相见于这场2018大湾区顶级科创峰会，联合打开世界新的硅谷——粤港澳大湾区的新篇章！更加多活动下文：https://www.iyiou.。

本文关键词：bob官网app,图灵,奖,得主,Joseph,Sifakis,确认,出席,2018,2018年

本文来源：bob官网app-www.psykologiaarhus.com