新闻动态

news
2023-10-28

图灵奖获得者Sifakis院士向校图书馆赠书并与图灵班学子深度交流


2023年10月26日,图灵奖获得者、计算机科学与工程系杰出访问教授、图灵班班主任Joseph Sifakis院士在一丹图书馆301报告厅向南科大图书馆捐赠他的专著,并为现场听众带来一场题为“Understanding and Changing the World——From Information to Knowledge and Intelligence”的主题报告,介绍他专著中的核心思想。计算机系教学副主任、图灵班执行班主任郝祁副教授主持活动,校图书馆鄂鹤年馆长、图灵班2020级班主任于仕琪副教授、2020级至2023级全体图灵班学生等近百人到场参加了活动。 会议现场 会议合影 郝祁老师开场致辞,并向在场师生简要介绍了Sifakis院士的学术成就及其最新专著的基本情况。 活动现场,Sifakis院士将其最新专著“Understanding and Changing the World——From Information to Knowledge and Intelligence”的英文版和中文版赠送给学校图书馆收藏。鄂鹤年馆长接受赠书,致辞向Sifakis院士表示感谢,同时向Sifakis院士颁发了捐赠证书。 Sifakis院士向学校图书馆赠书 赠书仪式结束后,Sifakis院士为在场师生作专题报告。他首先阐释了信息、知识和智能三个概念,并介绍了这三个概念的关系。通过跟物理概念的对比,他介绍了信息领域的知识结构。此外,Sifakis院士专门介绍了自主系统的概念、结构和运行机理,也介绍了自主系统中的一系列挑战。Sifakis院士在报告中也对比了人类智能和人工智能,并介绍了人类基于价值标准和积累的知识来管理短期和长期目标。最后,他还表达了技术是中立的,应该有一系列规范来防止技术被滥用,来促进和维护社会公共利益。Sifakis院士的一系列观点在他的专著中均有详细地介绍。 Sifakis院士作报告 在提问环节,现场师生踊跃提问。Sifakis院士非常享受跟学生们的交流。学生提问时他总是亲切地走到学生面前,鼓励学生表达自己的想法。当学生提出有趣的问题时,他会忍不住地哈哈大笑。除了在学术思想方面的交流,他还特别地鼓励同学们要有好奇心,要做热爱的事情,这样才能度过幸福的一生。现场气氛轻松愉快又热烈。 交流环节 活动的最后是专著签名环节。同学们拿出Sifakis院士的专著,Sifakis院士欣然为每一位同学现场签名。他认真地将每个人的姓名都写在了书的赠语上,并亲切地与同学们合影留念。 签名现场 签名内页 此次,为了更好地展现计算机系老师们的学术思想和观点,使校内师生了解计算机科学与智能科学专家与学者们的前沿思想,计算机系与图书馆联合,以10月26日Sifakis院士赠书仪式为契机,特推出计算机系专题图书展“数字视界:从基础框架到AI前沿”。展出时间为10月26日至11月26日,欢迎大家前往观展! 计算机系教师专著展览现场
news
2023-10-23

图灵奖得主Joseph Sifakis院士与图灵班教师座谈,共叙育才发展


2023年10月20日,图灵奖得主、计算机科学与工程系图灵班班主任Joseph Sifakis院士与计算机系教师代表在工学院南楼443B会议室,就图灵班课程教学、如何提高拔尖人才培养质量等问题进行了深入交流和探讨。会议由计算机系教学副主任、图灵班执行班主任郝祁副教授主持,计算机系行政副主任王琦副教授、计算机系张建国教授、Pietro Simone Oliveto教授、图灵班部分授课教师等出席了会议。 会议现场 会议合影 会上,郝祁老师向Sifakis院士重点介绍了图灵班培养方案的各项内容和图灵班学生培养的基本情况,并汇报了学生们目前所取得的重要成果。随后Sifakis院士就课程教学、科研指导等方面发表了自己的见解。 Joseph Sifakis院士发言 郝祁老师发言 Sikakis院士指出,人才培养是一个系统工程。要为学生提供良好的培养平台和基础设施、工具、组件等各种条件,创造一个有吸引力的环境。在教学方面,就课程设置而言,构架数学基础非常重要;要引导学生从书本之外的世界去探寻问题,引导他们学习如何推理、设计和应用;引导学生运用知识,通过不断的实践来巩固自己的学习成果。在科研指导方面,他回顾说,工业界的问题驱动了他个人的很多研究,因此要重视学生研究成果的落地应用。他同时强调,引导学生树立做事的信心与决心,发挥创造力,也是至关重要的。 在交流环节,老师们围绕教育教学、学术研究、自身成长等方面存在的疑惑进行了提问,Sikakis院士结合自身经历一一给出了指导和建议。Sikakis院士对计算机学科的深切热爱、严谨的治学态度、坚持不懈的科学精神,给老师们留下了深刻的印象。 交流环节 图灵班将以此次座谈会为契机,继续践行拔尖人才培养理念,高举“科学精神”旗帜,致力于学生科学素养与科研能力提升,努力培养出适应国家发展需求的创新型高素质人才。
news
2023-10-21

图灵班学子与班主任、图灵奖得主Joseph Sifakis院士面对面——畅谈学习、科研与成长


2023年10月19日,图灵奖得主、中国科学院外籍院士、计算机科学与工程系杰出访问教授、图灵班班主任Joseph Sifakis院士与图灵班各年级学生代表在工学院南楼443B会议室进行了近距离交流,并向同学们分享了其对大学学习、科研与成长等内容的深刻见解。会议由计算机系教学副主任、图灵班执行班主任郝祁副教授主持,图灵班2021级班主任张殷乾教授、2022级班主任陶伊达博士到场出席了会议。 Sifakis院士身着笔挺的西装,精神矍铄,不顾舟车劳顿,一下车直奔会场。同学们兴奋无比,用热烈的掌声欢迎Sifakis院士的到来。Sifakis院士入座后立刻与同学们一一亲切交谈了起来。会场气氛温馨且融洽。 会议现场 会议合影 会议正式开始后,在开场致辞中,郝祁老师首先对Sifakis院士的到来表示热烈的欢迎。他向在场同学们简要介绍了Sifakis院士的个人经历与成就,并在介绍的过程中就专业选择、研究兴趣、学术界与工业界的区别、成功的定义、给同学们的建议等向Sifakis院士进行了提问。Sifakis院士一边听讲,一边做出详细解释,并提出自己的看法。 Joseph Sifakis 院士发言 Sifakis院士提到,在当时数学、物理学等学科而非计算机学科占据主流的年代,出于对硬件系统的好奇和热爱,背负着家人的不理解,他毅然决然地选择了计算机这一行业。并在面临计算机系统庞大、信息处理缓慢、经常发生意想不到的错误等问题的情况下,开始研究自动机理论、逻辑、语言、安全校验系统等内容,现今也一直专注于模型验证、自主系统的可信度等方面的研究工作。就成功而言,他认为,在持有个人梦想与信念的前提下,自我驱动、保持快乐并为自己热爱的事业付出努力是非常重要的。 为了使Sifakis院士了解同学们目前所取得的科研进展,20级董廷臻同学、冷子阳同学、21级刘圣鼎同学,分别代表各自科研小组,向Sifakis院士汇报了他们目前在创新实践方面的工作内容。 董廷臻同学,以“为机密云计算中的加密虚拟机提供可信虚拟TPM服务”为题,首先介绍了TPM的应用场景及在云计算场景下对其的安全考量,阐述了可信虚拟TPM架构的协议设计与前后端实现,并概述了对于此架构效果与性能的评估计划及未来目标。他认为,采用减小云服务商在可信基中占比的措施,能为云计算的安全和隐私提供更有力的保障。 董廷臻同学作汇报 冷子阳同学,以“Unsupervised Domain Adaptation for 3D Object Detection”为题,首先介绍了自动驾驶领域跨域目标检测主要存在的Domain Gap,其次阐述了在创新实践项目开展过程中,针对这些Domain Gap的一些自适应方式尝试及其积极结果,并展望了未来的域自适应发展进行方向。 冷子阳同学作汇报 刘圣鼎同学,以“毫米微波雷达的4D点云成像”为题,以自动驾驶领域为背景,首先介绍了研究毫米微波雷达重要的现实意义,阐述了4D毫米微波雷达的其他应用以及基本概念;其次分析了4D点云成像的信号处理的流程以及从硬件和软件层面提高分辨率的一些方法,并对于基于机器学习的点云生成的数据库和算法做了一个简单的总结;最后结合其他的Survey指出了4D毫米微波雷达的未来趋势并做出总结。 刘圣鼎同学作汇报 Sifakis院士对上述同学们的研究议题很感兴趣,对其汇报成果表示赞许,同时分别就每个人的研究内容进行了提问,并提出了相应的研究建议。 随后,进入了自由提问环节。同学们充分抓住此次难得的机会,不浪费一分一秒,每位同学均向Sifakis院士提出了自己在专业领域、科研、升学、成长等方面的困惑。针对同学们提出的问题,Sifakis院士用幽默风趣的语言,非常有耐心地一一进行了解答。 互动环节 在整个交流的过程中,Sifakis院士强调,无论是何种领域、无论从事科学研究或是工程应用,同学们都应具有深入思考的能力和应用的能力。要不断地提问和反思,并学会找到自己进步的方式。 因同学们参与热烈,提出了很多问题,会议延长至3小时。同学们热情高涨,认真倾听,会议结束时仍意犹未尽。相信通过此次会议,同学们能够更加清楚自己努力的目标和方向,作为拔尖人才培养的对象,继续为自己所承担的责任和使命而努力奋斗。
news
2023-10-14

斯发基斯可信自主系统研究院学术交流会圆满举行——Joseph Sifakis院士和潘毅院士作精彩学术报告


2023年10月12日,斯发基斯可信自主系统研究院学术交流会在工学院南楼813报告厅圆满举行。图灵奖获得者、计算机科学与工程系杰出访问教授、斯发基斯可信自主系统研究院院长Joseph Sifakis院士和深圳理工大学计算机科学与控制工程院院长、讲席教授潘毅院士亲临现场给大家带来了两场精彩的学术报告。会议由南方科技大学计算机科学与工程系主任姚新教授主持。研讨会吸引了校内外百余位专家学者和学生前来参会交流,参会师生与与会专家进行了充分研讨,会议现场气氛热烈。 合影 姚新讲席教授开场致辞 Joseph Sifakis院士作学术报告 Joseph Sifakis院士作了题为《Testing System Intelligence》(系统智能测试)的报告。报告中,Joseph Sifakis院士首先强调了智能的定义和测试的重要性,如果不清楚什么是智能,我们就无法提出关于智能如何运行的理论。Joseph Sifakis院士认为今天我们只实现了弱人工智能,它为我们提供构建智能系统的基础要素。信息通讯领域技术(ICT)和AI之间的加速融合会导致自主系统的产生,这将是从弱人工智能跨越到通用人工智能的一大步,自主系统将超越机器学习系统。自主系统的实现不仅受到不可信的AI系统的阻碍,也面临着系统工程方面的挑战。Joseph Sifakis院士认为我们有两个重要的工作方向,一个是智能系统的混合设计,将基于模型和基于数据的组件集成到相同的架构中;另一个是构建从单个智能体智慧到集体智慧的系统。最后,Joseph Sifakis院士强调我们应该承认智能系统需要严格的验证方法,并努力以清晰、系统的方式克服当前的局限性,并开发新的基础理论和方法。 潘毅院士作学术报告 潘毅院士发表题为《人工智能和GPT赋能生物医药:药物筛选与药物生成》的演讲,深入浅出地向现场人员阐述了人工智能在生物医药中的重要作用和价值。报告中,潘毅院士系统介绍了人工智能在新药研发中的应用领域和现状,分享了人工智能在药物设计和药物筛选中的典型应用案例,梳理了GPT方法促进药物生成、元宇宙新药测试、人工智能助力药物重定位等前沿研究方向。 现场问答互动 两位院士的精彩学术报告,为与会者带来了启发和思考,现场踊跃提问,开放交流,为学者提供了一个与全球顶尖科学家面对面交流与研讨的契机。 演讲嘉宾介绍 Joseph Sifakis 院士 南方科技大学计算机科学与工程系杰出访问教授;斯发基斯可信自主系统研究院院长;计算机科学与工程系图灵班班主任 图灵奖获得者 中国科学院外籍院士 法国科学院院士 法国国家工程院院士 欧洲科学院院士 美国艺术与科学院院士 美国国家工程院院士 Joseph Sifakis 院士的主要研究领域是模型检测及嵌入式系统设计与验证,是自主系统领域专家,世界安全计算机系统发展重要贡献者,创立了在嵌入式系统里具有领先地位的Verimag实验室。2007年被授予计算机界最高奖“图灵奖”。 潘毅院士 深圳理工大学计算机科学与控制工程院院长、讲席教授;美国佐治亚州立大学州校董荣休教授 美国医学与生物工程院院士 俄罗斯工程院外籍院士 乌克兰国家工程院外籍院士 欧洲科学与艺术院院士 欧洲自然科学院院士 英国皇家公共卫生院院士 潘毅教授1977年以江苏省理科状元考入清华大学计算机科学与工程系,1982年和1984年分别获得清华大学工学学士学位和硕土学位,1991年获得美国匹兹堡大学计算机科学博士学位。潘毅教授的主要研究领域是以云计算、大数据分析、人工智能、深度学习等为工具,进行生物信息和医疗信息的研究。在此领域已发表300多篇SCI期刊学术论文,其中100多篇发表在顶尖的IEEE/ACM 学术期刊上;另在国际学术会议录上发表150多篇学术论文,出版编著了40多本书。 斯发基斯可信自主系统研究院 斯发基斯可信自主系统研究院(RITAS)于2019年11月1日由深圳市政府授牌成立。研究院由图灵奖获得者、南科大计算机系杰出兼职教授Joseph Sifakis教授担任院长,计算机系主任姚新教授担任执行院长,计算机系唐珂教授担任副院长。研究团队实力雄厚,拥有双聘 PI 29人,其中院士 2 人、国家级专家 8 人、 IEEE Fellow 4 人,研究序列教师等科研工作人员约40人。研究院面向人机共融这一技术与社会发展的大趋势,围绕各种系统对“可信”的迫切共性需求,开展基础理论研究与关键技术研发,研究领域覆盖计算智能、可信软件、信息安全、自动驾驶、智慧城市和智慧医疗等重点前沿方向。同时,研究院还以培养集聚创新人才、开展国际合作交流、促进科技成果转化为使命,努力建成世界级的可信自主系统研究院,以国际领先的前沿技术、人才队伍助力深圳市乃至大湾区智能产业的发展。
news
2023-08-29

聚势赋能 | 2023 IEEE计算智能学会暑期学校暨高峰论坛在深圳成功召开


2023 IEEE计算智能学会暑期学校暨高峰论坛于8月24-27日在深圳南方科技大学成功召开。活动由IEEE计算智能学会深圳分会主办,南方科技大学计算机科学与工程系和斯发基斯可信自主系统研究院承办,IEEE青年分会协办,IEEE计算智能学会支持。 本次活动集聚计算智能(Computational Intelligence)相关领域最具影响力的专家学者,来自国内外的16位IEEE Fellow、7位IEEE顶刊主编,以及百余所国内外知名高校的400多位智能计算与行业应用领域的学术精英和专业人才齐聚鹏城,共同探讨计算智能领域的最新研究成果、技术创新和应用案例,旨在搭建知识、成果与人才交流互动的平台,鼓励广大青年学者,勇于科技创新,为计算智能领域注入更多新动能。 在开幕式上,IEEE Fellow、南方科技大学计算机科学与工程系系主任姚新教授和南方科技大学国际合作部副部长龙静作开幕式致辞,对活动的举办表示热烈祝贺。他们强调了计算智能的重要性和潜力,并希望通过举办暑期学校这样有意义的活动,更广泛地把科研人凝结在一起,提供国际学习交流机会,推动计算智能领域人才培养,赋能该领域在国内的学科发展与创新融合。 计算机科学与工程系系主任姚新教授致辞 国际合作部副部长龙静致辞 活动共持续四天,邀请了欧洲科学院院士、IEEE Fellow、IEEE CIS候任主席金耀初教授,IEEE Fellow、IEEE CIS副主席Kay Chen Tan教授,IEEE Fellow、IEEE TEVC主编Carlos A. Coello Coello 教授,IEEE Fellow张青富教授,IEEE TCDS主编唐华锦教授,IEEE Fellow、IEEE TAI主编Hussein Abbass 教授,IEEE Fellow、IEEE TNNLS主编宋永端教授,IEEE Fellow、IEEE TETCI主编张晓明教授,IEEE Fellow李晓东教授,IEEE Fellow、IEEE TFS主编伍冬睿教授,IEEE CIM 主编丁川康教授,IEEE Fellow路节教授,新西兰皇家科学院院士、IEEE Fellow张孟杰教授,德蒙福特大学杨圣祥教授,IEEE Fellow Kalyanmoy Deb教授,IEEE Fellow 林进灯教授共16位计算智能学术界泰斗开展讲座,他们分享了自己的最新成果和科研经验,为与会者带来了启发和思考,现场踊跃提问,开放交流,为国内学者提供了一个与全球顶尖科学家面对面交流与研讨的契机。 讲座合集 本次活动内容丰富,除了专家讲座外,还设有圆桌论坛、实践课程、志愿者证书颁发等多形式活动。其中,圆桌论坛分别以”How to Do Impactful Research“和“How to Publish with Prestigious IEEE Journals”为主题,分别由金耀初教授和Kay Chen Tan教授主持,邀请了宋永端教授、Carlos A. Coello Coello教授、李晓东教授、张晓明教授、丁川康教授、伍冬睿教授等学术大咖共同畅谈,与现场师生进行了热烈互动。 圆桌论坛 实践课程 颁发志愿者证书 据活动主办方介绍,本届活动是IEEE计算智能学会近几年来在中国大陆规模最大的一次学术盛宴,聚集了众多行业顶尖专家,为国内与国外计算智能同行构建了国际交流的良好渠道。活动的举办,对赋能计算智能研究领域的高质量发展以及多元化国际交流合作具有重要助推作用。 南方科技大学计算机科学与工程系
news
2022-11-24

“展宏图,觅灵机”图灵班系列讲座第二讲:Sifakis院士解读“人工智能与自主系统”


2022年11月23日下午,计算机科学与工程系图灵班“展宏图,觅灵机”系列讲座第二讲以线上方式举行。本次讲座邀请了图灵奖获得者、图灵班班主任Joseph Sifakis院士就“人工智能与自主系统”内容作专题分享。计算机系主任姚新教授、副主任郝祁副教授、图灵班同学及其他院系师生近百余名在线出席。 郝祁副教授首先致欢迎辞,并简要介绍了Sifakis院士的个人经历及全新著作。 讲座中,Sifakis院士从智能概念引入,着重介绍了人工智能与自主系统的相关问题。他认为,尽管机器学习技术取得了令人瞩目的成就,但我们离通用人工智能(AGI)还很远。他强调,开发自主系统是迈向AGI的重要一步。这需要计算科学与其他各学科之间的高度融合,尤其是基于数据的机器学习和基于模型的系统工程两者之间的融合。 Sifakis院士作报告 Sifakis院士讨论了人类智能和机器智能所需的五个知识层次,从低到高分别为:(1)事件和条件,(2)基于数据通过机器学习、数据分析获得的经验知识,(3)基于模型表述的科技知识,(4)通过数学推理与算法计算获得的知识,(5)元知识。他探讨了用于衡量人类智能和机器智能的现有标准及其相关性,并展示了科学研究产生知识与计算神经网络产生知识之间的类似和差异。他提出了自主系统的重要特征,并强调了常识体系、认知能力以及心理感受是人类智能成功的关键因素。 随后,Sifakis院士提出了具有挑战性的未来工作方向,包括为系统工程和人工智能建立新的学科发展基础,以及共同探索能够体现人类智慧的人工智能自主系统。 交流环节,线上听众纷纷提问。Sifakis院士就具体问题进行了详细解答和观点分享。 讲座最后,姚新教授和郝祁副教授对Sifakis院士表达了衷心的感谢,并欢迎他有机会再次回到南科大为图灵班学子们带来更多精彩的学术分享。
news
2019-11-23

南科大杰出访问教授Joseph Sifakis当选中国科学院外籍院士


2019年11月22日,2019年中国科学院院士增选名单正式公布,共有20人新当选为中国科学院外籍院士,其中计算机科学专业共有3人。南方科技大学工学院计算机科学与工程系杰出访问教授Joseph Sifakis当选中国科学院外籍院士。 Joseph Sifakis Joseph Sifakis2019年加入南科大,他将在南科大启动“图灵班”培养计划,聚焦国家、广东省和深圳市的重大战略需求,以人工智能、计算机、大数据各方向为核心,与生物、电子、自动化等学科交叉,推动智能化科学技术与产业的发展,努力培养出更具超群的跨学科思维能力、科学领域的知识引领和创新未来的能力,工程领域的综合创新设计与实现能力等有潜力引领未来科学与工程的精英人才。 2019年11月1日,在2019年“深圳人才日”聘任颁奖仪式上,Joseph Sifakis依托南科大成立的斯发基斯可信自主系统研究院获得授牌。斯发基斯可信自主系统研究院是由Joseph Sifakis牵头组建的可信智能自主系统研究机构,研究领域覆盖计算智能、可信软件、自动驾驶、智慧城市和智慧医疗等重点前沿方向,将依托南科大计算机科学与工程系、深圳市计算智能重点实验室,开展新一代人工智能前沿技术研究,为培养后备科技人才、推进深圳产业升级、助力深圳建设中国特色社会主义先行示范区建设贡献力量。 Joseph Sifakis是法国科学院院士、法国国家工程院院士、欧洲科学院院士,同时也是美国艺术与科学学院院士及美国国家工程院院士。他长期从事严密系统工程、信息物理系统、形式化方法等相关领域研究,取得了许多原创性、开创性成果。Joseph Sifakis创立了模型检测理论与方法,并将其成功应用于工业界的实时系统安全性验证,于2007年获计算机领域最负盛名、最崇高的奖项“图灵奖”。 文字:劳湘雯编辑:庞翠琼资料来源:计算机科学与工程系
news
2019-11-18

“斯发基斯可信自主系统研究院”第一次学术研讨会 成功举行


2019年11月14日,深圳市诺贝尔奖(图灵奖)科学家实验室 “斯发基斯可信自主系统研究院”第一次学术研讨会在南方科技大学计算机科学与工程系成功举行。 参会人员合影 斯发基斯可信自主系统研究院是以图灵奖获得者Joseph Sifakis教授牵头,整合南方科技大学计算机科学与工程系优势科研力量组建的可信智能自主系统研究机构。研究院目前拥有三位IEEE Fellow,以及多位国内与国际的人工智能相关领域的一流专家。研究院实行理事会领导下的执行院长负责制。Joseph Sifakis教授担任首任荣誉院长,南科大计算机科学与工程系主任姚新教授担任首任执行院长。 研究院于2019年11月1日正式获得授牌,此次讨论会对研究院的发展方向和执行方案进行了深入讨论。会议围绕计算智能、可信软件、自动驾驶、智慧城市和智慧医疗等重点研究方向进行,通过将各方面的创新研究进行结合,未来将在多个研究方向起到引领创新的作用。 此外,研究院拟引进一批相关领域的国际知名学者,形成以图灵奖科学家、院士和IEEE Fellow等知名学者为研究主导,中青年教师为学科带头人,青年科技骨干为主体的人才队伍。
news
2019-11-18

我系斯发基斯、唐珂、张宇老师参加第二届世界顶尖科学家论坛


2019年10月29日-11月1日,第二届世界顶尖科学家论坛在上海举行,本次会议共邀请了包括65位诺贝尔奖、沃尔夫奖、拉斯克奖、图灵奖、菲尔兹奖、麦克阿瑟天才奖等全球顶尖科学奖项得主参加,100余位中国两院院士、世界优秀青年科学家共同出席。南方科技大学计算机系杰出教授、图灵奖得主斯发基斯教授受邀参会,在人工智能算力算法峰会上作特邀报告。 本次大会同时举办顶尖科学家青年论坛,邀请了来自剑桥大学、斯坦福大学、麻省理工学院等著名高校的百位不同学科优秀青年科学家与到会顶尖科学家面对面探讨最新科技成果与进展,本校计算机系唐珂、张宇老师受邀参会。 唐珂教授 张宇副教授
news
2019-11-01

斯发基斯可信自主系统研究院正式获得授牌


2019年11月1日,2019年“深圳人才日”聘任颁奖仪式在深圳五洲宾馆举行,南科大连续四年获深圳市“人才伯乐奖”。在颁奖仪式上,图灵奖得主Joseph Sifakis依托南科大成立的斯发基斯可信自主系统研究院正式获得授牌。 深圳市委书记王伟中、市长陈如桂、市人大常委会主任骆文智等市领导以及深圳市高层次人才代表出席活动。南方科技大学校长、中国科学院院士陈十一,长期访问杰出教授、图灵奖得主Joseph Sifakis,物理系讲席教授、中国科学院院士、量子科学与工程研究院院长俞大鹏,数学系讲席教授、中国科学院院士方复全,计算机科学与工程系主任姚新,电子与电气工程系讲席教授王太宏等参加活动。 王伟中为斯发基斯可信自主系统研究院授牌 王伟中为斯发基斯可信自主系统研究院授牌,这是活动现场被授牌的两所实验室之一,Joseph Sifakis作为研究院代表接受授牌。 Joseph Sifakis现任南科大杰出教授,为法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士及美国国家工程院院士。Joseph Sifakis长期从事严密系统工程、信息物理系统、形式化方法等相关领域研究,取得了诸多原创性、开创性成果。Joseph Sifakis创立了模型检测理论与方法,并将其成功应用于工业界的实时系统安全性验证,于2007年获计算机领域最负盛名、最崇高的奖项“图灵奖”。 斯发基斯可信自主系统研究院是由Joseph Sifakis牵头组建的可信智能自主系统研究机构,研究领域覆盖计算智能、可信软件、自动驾驶、智慧城市和智慧医疗等重点前沿方向,将依托南科大计算机科学与工程系、深圳市计算智能重点实验室,开展新一代人工智能前沿技术研究,为培养后备科技人才、推进深圳产业升级、助力深圳建设中国特色社会主义先行示范区建设贡献力量。 此外,研究院拟引进一批相关领域的国际知名学者,形成以图灵奖科学家、院士和IEEE Fellow等知名学者为研究主导,中青年教师为学科带头人,青年科技骨干为主体的人才队伍。