您的位置:首页>> 极客酷玩
  
  

图灵奖得主JosephSifakis确认出席2018大湾区国际科创峰会(BATi)

发布时间:2020-12-25
[ 导读 ] 他是著名计算机科学家,因在模型检验领域的杰出贡献获得了2007年的图灵奖。10月18日,作为欧洲、法国、美国三国科学院院士的Joseph Sifakis将作为重磅嘉宾出席“2018大湾区国际科创峰会(BATi)”。

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

上一篇: AI提前两天警示患者致命疾病

下一篇: 美科学院敦促政府推进核能研究