院长致辞

我是约瑟夫·斯发基斯教授,法国格勒诺布尔Verimag实验室的荣誉科研主任。我创立了这所实验室,其在安全关键系统领域处于领先地位13年。2011年至2016年期间,我在洛桑联邦理工学院(EPFL)担任全职教授。2007年,我因对模型检测的理论和应用的贡献获得了图灵奖,这是被广泛使用的系统验证技术。
我于2018年7月首次访问深圳,中国主要信息及通信技术公司的强大产业实力给我留下了很深的印象。我相信,这座城市有潜力成为世界上推动AI革命的产业中心之一,实现工业物联网应用所设想的智能和自主系统。自那次访问以来,我与南方科技大学(SUSTech)保持着紧密的合作。
自我第一次访问南方科技大学以来,我对该大学在人员、国际知名度以及在自主和智能系统发展所必需的核心领域,如自动驾驶系统、智能医疗系统、可信智能系统、智慧城市和人工智能基础方面的丰富性感到惊叹。因此,我很高兴地接受了成为南方科技大学杰出访问教授的初步邀请。我深信,中国这样一个拥有强大而广泛的工业基础的国家有能力开发出人工智能的工业应用所需要的技术解决方案和标准。
这些想法解释了我在2019年11月向南方科技大学管理层提出的对斯发基斯可信自主系统研究院(RITAS)发展的愿景。我认为南方科技大学可以创建RITAS,来协调一项处于人工智能和自主系统工业应用方面前沿的倡议,并为深圳创造一个具有国家甚至国际影响的科研环境做出贡献。这一愿景最终促成了RITAS的创建。
我对RITAS的研究前景比较乐观。我相信,借助更强有力的领导和对各中心更有针对性的支持,基于更严格的评估标准,RITAS将发挥其全部潜力并成功交付承诺的成果。