CUSTOMER DISPLAY

遇到“你”最好的时光才开始

您的位置:主页 > 新闻动态 > 行业资讯 >

图灵奖得主Joseph Sifakis确认出席2018大湾区国际科创峰会(BATi)-亚博网页版

发布时间:2021-03-01 00:57
本文摘要:2018年10月18日至19日,亿欧公司主办,思贝克主办的引擎引导2018大湾区国际科学创业峰会(BATi)在深圳隆重召开会议。图灵奖获得者Joseph。Sifakis证实参加了引擎引导。 2018大湾区国际科学创业峰会(BATi)【人物说明】Josephsifakis(约瑟夫斯发基斯),着名的计算机科学家,2007年图灵奖获得者,欧洲科学院院士,法国科学院院士,美国文理科学院士,美国国家工程院士。

亚博体育登陆界面

2018年10月18日至19日,亿欧公司主办,思贝克主办的引擎引导2018大湾区国际科学创业峰会(BATi)在深圳隆重召开会议。图灵奖获得者Joseph。Sifakis证实参加了引擎引导。

2018大湾区国际科学创业峰会(BATi)【人物说明】Josephsifakis(约瑟夫斯发基斯),着名的计算机科学家,2007年图灵奖获得者,欧洲科学院院士,法国科学院院士,美国文理科学院士,美国国家工程院士。JosephSifakis年轻时分别在希腊雅典国立科技大学的电子工程系和法国UniversityofGrenoble计算机系自学。

目前,JosephSifakis是法国国家科学研究中心(CNRS)研究总监,是法国国家科学研究中心2001年银质奖章的获得者,获得工程师博士学位和法国格雷诺布尔多(UJF)国家博士学位。同时,JosephSifakis也是位于法国格勒诺布尔以嵌入式系统而闻名世界的研究中心Verimag实验室(UJF/CNRS/INPG)的创始人,是业界广泛应用的模型检查技术的发明者。

由于将模型检测方法应用于实时系统检测工作,Josephtifakis在国际上享有盛誉。由于模型检验领域的优秀贡献,JosephSifakis于2007年与卡内基梅隆大学爱德蒙克教授、德克萨斯大学奥斯汀分校艾伦·艾默生教授联合获得了被称为计算机界诺贝尔奖的图灵奖,成为法国第一位获得该奖的科学家。

近年来,随着计算机整体技术水平的发展,物联网被普遍认为是人工智能、AR/VR三大未来三大主流技术,物联网系统的最重要地位越来越突出,模型检应用于Josephosifakis,使用该自动检查技术确保航空、军工等安全性相关行业的安全落地发展10月18日,Josephosifakis参加了引擎引导2018大湾区国际科学创业峰会(BATi),与我们分享了物联网时代,嵌入式系统如何更好地落地,推进大湾区智能产业发展。筛选链接:https://www.iyiou.com/post/ad/id/664herkunft=6648【大会说明】在广东港澳大湾区成为国家发展战略、计划纲要发表的背景下,亿欧公司主办的思贝克领导主办的2018大湾区国际科学创业峰会(Bay大学AreasTechInnovationSummit,全称BATi)将于10月18日至19日在深圳举行。在这个时代,无论信息如何繁荣,回顾科学技术的最前沿,对科学技术解读印象最深刻的永远是在科学研究第一线奋斗的专家学者,他们知道将来的技术会构筑什么样的新机会,给予什么样的新挑战。

亚博体育登陆界面

2018大湾区国际科学创业峰会(BATi)邀请人工智能、生物医药等多个领域的专家学者参加,提供最先进的技术理解。随着许多科学创业企业登陆资本市场,创业创造力进入了新阶段。在新的阶段,如何实现新的趋势很重要,2018大湾区国际科学创业峰会(BATi)邀请IDG资本伙伴牛奎光、高榕资本创立伙伴高翔等投资伙伴聚集在峰会圆桌上,共享创业创造性的新方向。

亚博网页版

2018年以来,智能产品、新消费品牌频繁出现,作为科技中心和消费中心,广东港澳在这两方面的优势独特,许多创业公司兴起:大疆、优选、柔宇科学技术、碳云智能、商汤科学技术等,集中在2018大湾区国际科学创业峰会(BATi)上。另外,为了增进广东港澳的融合,有特别的环节,香港、澳门和内地的青年创业者在峰会上进行对话。

2018年10月18日、19日,我们期待着与你相遇的2018大湾区顶级科学创造峰会,共同开启世界新硅谷广东港澳大湾区新篇章!更多活动如下:https://www.iyiou。


本文关键词:图灵,奖,得主,Joseph,Sifakis,确认,出席,2018,2018年,亚博网页版

本文来源:亚博网页版-www.lyrics18.com