近日，南方科技大学斯发基斯可信自主系统研究院与澳门大学、深圳元戎启行科技有限公司共同合作，在国际顶级学术期刊 IEEE Transactions on Intelligent Transportation Systems (T-ITS) 上发表题为 “TSceneJAL: Joint Active Learning of Traffic Scenes for 3D Object Detection” 的文章。T-ITS是智能交通领域最具影响力的国际顶级期刊之一，专注于交通系统智能化理论、技术、与应用突破。 自动驾驶中的 3D 目标检测任务高度依赖高质量、精确标注的数据集，但数据标注成本极为高昂。主动学习（Active Learning）作为一种极具潜力的解决方案，能够智能筛选少量未标注数据进行标注，在大幅降低标注成本的同时保持模型性能。然而，传统主动学习算法在自动驾驶数据采集过程中，往往面临类别不平衡、场景冗余度高、复杂度不足等挑战。针对这一问题，研究团队提出了一种创新性的三阶段联合主动学习框架——TSceneJAL，如图1所示。该方法通过动态优化数据的平衡性、多样性和复杂性，实现“以最少标注数据训练最优模型”。1）类别熵采样：首阶段筛选多类别共存场景，缓解类别不平衡。​ 2）场景图相似性度量：将交通场景建模为有向图（节点表示物体类别，边表示空间距离），利用 MarginalizeKernel 算法量化图间距离，剔除高相似性冗余场景。​3）混合密度网络不确定性采样：在检测模型中引入混合高斯分布网络，同步估计数据噪声不确定性（Aleatoric Uncertainty）与模型认知不确定性（Epistemic Uncertainty），优先选择不确定度高的复杂场景。 图1. 提出的TSceneJAL主动学习系统框架 在多个数据集上的实验结果表明，TSceneJAL 在 3D 目标检测的主动学习任务中达到了国际领先水平，如图2所示。与现有方法相比，该框架在3D平均精度等多个关键指标上最高提升 11%；在仅标注32% KITTI 数据的情况下，即可达到全量数据 92% 的检测性能；同时，对行人、自行车等弱势类别的检测精度提升10-15%，有效缓解了类别不平衡问题。 图2. 主动学习采样方法在KITTI数据集上感知效果比较 南方科技大学斯发基斯可信自主系统研究院为论文第一单位。张美莹研究助理教授、郝祁教授为共同通讯作者，计算机系硕士生雷晨阳为第一作者。

2025年3月14日，由斯发基斯可信自主系统研究院主办、主题为“基于少量训练标注和少量训练参数的资源高效学习”的学术报告在南方科技大学工学院南楼443B会议室顺利召开。本次报告由山东大学研究员徐衍钰主讲、南方科技大学斯发基斯可信自主系统研究院智慧医疗中心负责人刘江讲席教授主持，iMED团队成员到场聆听了报告。 在报告中，徐衍钰研究员详细阐述了近年来在图像和视频表示学习、资源高效学习以及医学基础模型等领域取得的成果，重点介绍了如何在标注资源有限的情况下，通过高效的学习方法提升模型性能。他指出，随着医疗影像数据量的不断激增，传统的标注与训练方法面临巨大的成本压力，而其提出的策略能够在较少的标注和计算资源投入下，依然实现较高的预测效果。 此外，徐研究员亦展望了未来的发展方向。他认为未来研究可聚焦于模型融合（Model Merging）与资源高效学习，通过模型融合技术拓展单一模型的任务领域，优化训练效率，从而进一步提升模型的泛化能力和准确性。同时，他强调在减少标注需求的前提下，探索保持甚至提升模型性能的新路径的重要性。 刘江教授对徐研究员的报告给予了高度评价，并表示期待通过双方更多的合作，推动该领域的深入研究。报告结束后，与会人员进行了热烈的讨论，纷纷认为此次报告为今后的科研工作提供了宝贵的参考和启示。 此次学术报告不仅为与会的研究人员和学生提供了一个难得的学习交流平台，也进一步加深了iMED团队与徐研究员团队之间的学术合作。

2024年11月7日上午，南方科技大学人工智能高端论坛暨南方科技大学人工智能高等研究院揭牌仪式在我校会议中心举行。广东省科学技术厅副厅长杨军，深圳市南山区委书记黄湘岳，深圳市科技创新局副局长钟海，深圳市教育局党组成员、二级巡视员关苏，鹏城实验室主任、中国工程院院士高文，我校校长薛其坤，副校长兼教务长方红卫，工学院院长、人工智能高等研究院院长陈明伟，南方科技大学兼职讲席教授徐文伟，院系、院士代表，以及来自深圳市、罗湖区相关部门领导，学术界、产业界代表参会。论坛由方红卫主持。 薛其坤在开幕致辞中表示，在世界之变、时代之变、历史之变的大背景下，人工智能已成为国家战略的重要组成部分。南科大积极响应国家号召，致力于发展引领未来的战略性技术，南方科技大学人工智能高等研究院的成立，标志着南科大在人工智能领域向前迈出了坚实的一步。研究院将以建立算力、数据要素、人才培养、工业应用研究中心为建设目标，探索科研和人才培养新范式，努力成为人工智能领域学术研究的引领者、人才培养基地和科技创新高地，为国家人工智能快速发展提供关键人才和技术支撑。他勉励在座的杰出人才多交流、分享，共同为推动我国人工智能领域的科技创新和发展贡献智慧和力量，为建设科技强国贡献南科力量。 杨军在开幕致辞中预祝本次论坛取得圆满成功。他表示，广东省将创新作为高质量发展的关键，省委、省政府积极推动人工智能发展，推动产业创新。南方科技大学人工智能高等研究院的成立，是深圳加快建设全球科技创新中心和湾区一流世界级城市的一个重要支撑，也是粤港澳大湾区国际科技创新中心的重要现实举措。他希望南科大充分发挥学科交叉优势，以建设高水平研究型大学为目标，培养更多高素质人才，开展前沿创新研究，为粤港澳大湾区的创新发展提供强大动力。 高文、徐文伟担任会议主席 约瑟夫、杰曼诺夫作报告 在论坛主旨演讲环节，高文和徐文伟分别担任主席。中国科学院外籍院士、图灵奖获得者、我校计算机科学与工程系杰出访问教授约瑟夫（Joseph Sifakis）带来题为《Toward Industrial AI – Challenges and Opportunities》的精彩报告。他围绕人工智能的演变、挑战和机遇进行深入探讨，分析了人工智能的发展历程、当前挑战和未来机遇，强调了从对话AI向自主AI的转变，自主系统在超越传统机器学习系统方面的重要性，讨论了AI系统的可信度问题、AI对经济的有限影响、以及AI与系统工程结合的技术挑战等。中国科学院外籍院士、菲尔兹奖获得者、我校讲席教授杰曼诺夫（Efim Zelmanov）以《Mathematical Aspects of AI》为题作报告。他强调了数学在人工智能领域中的重要性，指出现代AI系统的基础是数学，因此深入理解数学对于AI领域的从业者来说是必要的。他还介绍了梯度下降、向量、矩阵、傅里叶变换和最小二乘算法等数学概念在AI和数据科学中的应用。 揭牌仪式 随后，杨军、薛其坤、高文、黄湘岳、方红卫、陈明伟等共同为“南方科技大学人工智能高等研究院”揭牌。 嘉宾发言环节由陈明伟主持。嘉宾们就人工智能的发展趋势、技术挑战和产业应用等方面进行了深入的探讨和交流。 供稿：工学院通讯员：刘超编辑：曾昱雯

2024年11月6日，由斯发基斯可信自主系统研究院（简称研究院）主办的“南方科技大学可信自主驾驶系统企业交流会“在工学院南楼813报告厅顺利举行。此次会议由斯发基斯可信自主系统研究院执行院长郝祁教授主持。2007年图灵奖获得者、斯发基斯可信自主系统研究院院长、计算机科学与工程系杰出访问教授Joseph Sifakis院士、南方科技大学电子与电气工程系讲席教授张宏院士、深圳市人工智能与机器人研究院、文远知行、元戎启行、中兴通讯、奥比中光、锐明技术、中科春意等研究机构、企业代表和专家、研究院部分师生出席了会议。 会议现场 会议合影 会议初始，Joseph Sifakis院士作开场主旨报告“Critical Configuration Testing of Four Open Self-driving Autopilots “。在报告中，Sifakis院士首先阐述了自主系统测试的重要性以及两种测试方法：一种是以参数生成的测试场景为基础；另一种是以多智能体的关键配置为基础。前者所面临的困难包括无法穷尽各类可能的危险章节；而后者利用多智能体系统在关键路段自发生成的危险场景来测试自动驾驶系统。报告最后给出了四种开源自动驾驶系统在多智能体仿真环境中关键路段的性能评价以及改进方向。该报告为自主无人系统的可信测试提供了新的思路。 Joseph Sifakis院士作报告 随后，张宏院士围绕“Applications of Foundation Models in Robotics“主题，简要介绍了团队目前部分科研成果和进展，他通过视频、图片和实例，形象生动地介绍了有关美团外卖配送机器人、机器人行人跟随、基础模型、机器人咖啡店等科研情况以及后续科研计划等。张院士着重探讨了基础模型在智能机器人中的应用架构、所面临的挑战以及未来发展方向。该报告在具身智能领域进行了许多前沿性的讨论，引起了听众的极大兴趣。在与听众的互动中，张院士生动幽默地回答了很多如何应用基础模型、如何应用具身智能技术的问题。 张宏院士作报告 郝祁教授以“Trustworthy Datasets and Simulation Platforms for L5 Autonomous Driving Technologies“为题，阐述了无人驾驶系统所面临的来自数据集与仿真系统的约束。报告指出只有在评价体系、场景生成以及智能转移这三方面进行实质性突破，面向L5级别的可信无人驾驶系统才有可能真正实现。 郝祁教授作报告 深圳元戎启行科技有限公司技术合伙人、副总裁刘念邱从“汽车遇上AI会有怎样的革新”题目入手，简要介绍了元戎启行公司的现况、辅助驾驶汽车与AI汽车等问题、以及未来的发展方向。 刘念邱副总裁作分享 李大川助理教授以“可信端到端自动驾驶”为切入点，介绍了自动驾驶端到端感知——预测的可信度量化评价方法、规则与学习联合驱动的自动驾驶控制架构，并探讨了强化学习自动驾驶控制的运行时安全保障问题。 李大川助理教授作分享 兰功金助理教授以“极端场景的自动驾驶感知”为主题，阐述了自动驾驶在极端场景感知中从数据到算法到验证的问题研究。 兰功金助理教授作分享 张美莹助理教授以“基于数据驱动的可信自动驾驶场景生成与评估系统”为主题，阐述了利用真实的路采数据，从可信数据的准确性出发，重建高保真的自动驾驶动态场景模型，并通过场景编辑技术实现多种危害因子的注入，为自动驾驶系统在极端场景下的感知、决策与控制能力提供创新的解决方案；除此之外，针对路采和生成的大规模自动驾驶数据，从可信数据的平衡性、多样性和复杂性出发，提出了基于主动学习的多阶段场景优化方法和基于模型的多指标统计评估方法，实现自动驾驶数据的自主优化与快速评估测试。 张美莹助理教授作分享 李鄂老师以“自动驾驶系统的硬件在环测试平台”为主题，介绍了硬件在环测试平台在自动驾驶研发中的优势，并详细讲解了斯发基斯可信自主系统研究院自动驾驶团队自主研发的硬件在环测试平台的设计思路和实现过程，展示了该平台在系统架构、数据处理、场景控制等核心技术上的实现方案。此外，他还介绍了平台的未来发展方向，提出引入更先进的仿真技术，以进一步提升平台的可用性和可靠性，为行业发展提供有力的技术支撑。 李鄂老师作分享 会上，参会专家、师生们就机器人、自动驾驶等相关问题进行了探讨和交流，气氛热烈。 此次交流会为自动驾驶领域方面的学术专家和产业专家搭建了交流平台，促进与加强了双方的后续合作。研究院今后力争在校企交流与合作常态化方面作出进一步努力，也将为产业界提供多层次的综合服务，为解决国家和地方产业关键问题作出贡献。

近日，美国国家科学院公布了新增选的120名院士和24名外籍院士。其中，我校杰出访问教授Joseph Sifakis当选美国国家科学院外籍院士。 Joseph Sifakis是法国科学院院士、法国国家工程院院士、欧洲科学院院士，同时也是美国艺术与科学学院院士及美国国家工程院院士。他长期从事软件工程、嵌入式系统、形式化验证等领域的研究，取得了诸多原创性、开创性成果。他创立了模型检测理论与方法，并将其成功应用于工业界的实时系统安全性验证。2007年，Joseph Sifakis被美国计算机协会（ACM）授予图灵奖，以表彰其在模型检查理论和应用方面做出的卓越贡献。 Joseph Sifakis于2019年加入南科大，受聘为我校计算机科学与工程系杰出访问教授，同时担任斯发基斯可信自主系统研究院（深圳市诺奖实验室）院长。斯发基斯可信自主系统研究院是由Joseph Sifakis牵头组建的可信智能自主系统研究机构，研究领域覆盖计算智能、可信软件、自动驾驶、智慧城市和智慧医疗等重点前沿方向，开展新一代人工智能前沿技术研究，为培养后备科技人才、推进深圳产业升级、助力深圳建设中国特色社会主义先行示范区建设贡献力量。 相关链接：https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html 供稿：斯发基斯可信自主系统研究院通讯员：吕亚妮编辑：曾昱雯

本周，南方科技大学计算机系和斯发基斯研究院iMED智能医疗团队与国内两家眼科医疗器械企业，杭州泰源医药创新研究院有限公司和瑞尔明康医疗科技有限公司，分别签署了为期五年的联合实验室合作协议，将共同努力提升眼科医疗仪器智能化发展水平。 两家联合实验室的建立，是基于iMED团队与国内外多家知名医疗厂商的长期成功合作经验。2016年，iMED团队与日本TOPCON公司和TOMEY公司建立联合实验室；2022年，iMED团队又与国内上市企业深圳华大智造公司建立医疗机器人实验室。结合南科大计算机系与斯发基斯研究院对iMED的发展定位，iMED团队正逐步建立人工智能科技赋能国内外眼科企业的长期发展平台。 iMED团队是由南方科技大学计算机系刘江教授于2007年创立并领导的全球最大的国际眼科人工智能团队之一。该团队专注于眼科人工智能领域，涵盖四个研究方向：人工智能算法开发、手术机器人导航、眼科精准医疗和眼脑联动。iMED团队秉持“团结、专注、坚持”的团队文化，在眼科人工智能领域持续稳健地发展。 联合实验室1 2023年12月12日，”南方科技大学斯发基斯可信自主系统研究院-泰源智能眼科技术研发联合实验室”完成协议签署。杭州泰源医药创新研究院是由国内知名生物医疗上市公司杭州泰格医药科技股份有限公司、泰鲲基金、杭州市科创集团、杭州高新金投控股集团和启明创投共同出资建立的。该研究院定位于医疗健康领域的早期阶段转化投资，并依托泰格现有资源，旨在打造全国顶尖的“政产学研医投”六位一体的医药创新中心。iMED团队与杭州泰源医药创新研究院有限公司合作创建联合实验室，旨在充分发挥各自优势，共同建设一个集科研平台建设、产业技术研发与集成、人才培养、应用示范和成果转化为一体的创新平台。该实验室的目标是推进眼科仪器设备及相关算法的技术升级和发展，以及共同探索和研究眼科仪器等医疗设备中人工智能的应用和产品实现，促进科技成果转化。 联合实验室2 2023年12月13日，“南方科技大学斯发基斯可信自主系统研究院-瑞尔明康智能眼科图像分析联合实验室”也完成协议签署。瑞尔明康（杭州）医疗科技有限公司成立于2016年4月，是由医生与科技人员共同创立，致力于眼科共聚焦成像设备和精密医疗器械的研发和产业化，努力创造对人类健康和生命质量具有卓越价值的产品和服务。该公司与IMED团队具有多年合作基础。本次创建的联合实验室将专注于共聚焦成像等技术的研究及其在眼科等领域的技术升级和发展，以促进技术成果转化。 iMED团队合影

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日，欢迎大家前往观展！ 计算机系教师专著展览现场

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

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小时。同学们热情高涨，认真倾听，会议结束时仍意犹未尽。相信通过此次会议，同学们能够更加清楚自己努力的目标和方向，作为拔尖人才培养的对象，继续为自己所承担的责任和使命而努力奋斗。

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人。研究院面向人机共融这一技术与社会发展的大趋势，围绕各种系统对“可信”的迫切共性需求，开展基础理论研究与关键技术研发，研究领域覆盖计算智能、可信软件、信息安全、自动驾驶、智慧城市和智慧医疗等重点前沿方向。同时，研究院还以培养集聚创新人才、开展国际合作交流、促进科技成果转化为使命，努力建成世界级的可信自主系统研究院，以国际领先的前沿技术、人才队伍助力深圳市乃至大湾区智能产业的发展。