新闻动态
2024-11-08
南方科技大学举行人工智能高端论坛暨人工智能高等研究院揭牌仪式
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-06
南方科技大学可信自主驾驶系统企业交流会顺利召开
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汽车等问题、以及未来的发展方向。 刘念邱副总裁作分享 李大川助理教授以“可信端到端自动驾驶”为切入点,介绍了自动驾驶端到端感知——预测的可信度量化评价方法、规则与学习联合驱动的自动驾驶控制架构,并探讨了强化学习自动驾驶控制的运行时安全保障问题。 李大川助理教授作分享 兰功金助理教授以“极端场景的自动驾驶感知”为主题,阐述了自动驾驶在极端场景感知中从数据到算法到验证的问题研究。 兰功金助理教授作分享 张美莹助理教授以“基于数据驱动的可信自动驾驶场景生成与评估系统”为主题,阐述了利用真实的路采数据,从可信数据的准确性出发,重建高保真的自动驾驶动态场景模型,并通过场景编辑技术实现多种危害因子的注入,为自动驾驶系统在极端场景下的感知、决策与控制能力提供创新的解决方案;除此之外,针对路采和生成的大规模自动驾驶数据,从可信数据的平衡性、多样性和复杂性出发,提出了基于主动学习的多阶段场景优化方法和基于模型的多指标统计评估方法,实现自动驾驶数据的自主优化与快速评估测试。 张美莹助理教授作分享 李鄂老师以“自动驾驶系统的硬件在环测试平台”为主题,介绍了硬件在环测试平台在自动驾驶研发中的优势,并详细讲解了斯发基斯可信自主系统研究院自动驾驶团队自主研发的硬件在环测试平台的设计思路和实现过程,展示了该平台在系统架构、数据处理、场景控制等核心技术上的实现方案。此外,他还介绍了平台的未来发展方向,提出引入更先进的仿真技术,以进一步提升平台的可用性和可靠性,为行业发展提供有力的技术支撑。 李鄂老师作分享 会上,参会专家、师生们就机器人、自动驾驶等相关问题进行了探讨和交流,气氛热烈。 此次交流会为自动驾驶领域方面的学术专家和产业专家搭建了交流平台,促进与加强了双方的后续合作。研究院今后力争在校企交流与合作常态化方面作出进一步努力,也将为产业界提供多层次的综合服务,为解决国家和地方产业关键问题作出贡献。
2024-05-06
我校杰出访问教授Joseph Sifakis当选美国国家科学院外籍院士
近日,美国国家科学院公布了新增选的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 供稿:斯发基斯可信自主系统研究院通讯员:吕亚妮编辑:曾昱雯
2023-12-14
校企共建!南科大计算机系和斯发基斯研究院iMED团队与医疗器械企业集中建立两家智慧医疗联合实验室
本周,南方科技大学计算机系和斯发基斯研究院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-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日,欢迎大家前往观展! 计算机系教师专著展览现场
2023-10-23
图灵奖得主Joseph Sifakis院士与图灵班教师座谈,共叙育才发展
2023年10月20日,图灵奖得主、计算机科学与工程系图灵班班主任Joseph Sifakis院士与计算机系教师代表在工学院南楼443B会议室,就图灵班课程教学、如何提高拔尖人才培养质量等问题进行了深入交流和探讨。会议由计算机系教学副主任、图灵班执行班主任郝祁副教授主持,计算机系行政副主任王琦副教授、计算机系张建国教授、Pietro Simone Oliveto教授、图灵班部分授课教师等出席了会议。 会议现场 会议合影 会上,郝祁老师向Sifakis院士重点介绍了图灵班培养方案的各项内容和图灵班学生培养的基本情况,并汇报了学生们目前所取得的重要成果。随后Sifakis院士就课程教学、科研指导等方面发表了自己的见解。 Joseph Sifakis院士发言 郝祁老师发言 Sikakis院士指出,人才培养是一个系统工程。要为学生提供良好的培养平台和基础设施、工具、组件等各种条件,创造一个有吸引力的环境。在教学方面,就课程设置而言,构架数学基础非常重要;要引导学生从书本之外的世界去探寻问题,引导他们学习如何推理、设计和应用;引导学生运用知识,通过不断的实践来巩固自己的学习成果。在科研指导方面,他回顾说,工业界的问题驱动了他个人的很多研究,因此要重视学生研究成果的落地应用。他同时强调,引导学生树立做事的信心与决心,发挥创造力,也是至关重要的。 在交流环节,老师们围绕教育教学、学术研究、自身成长等方面存在的疑惑进行了提问,Sikakis院士结合自身经历一一给出了指导和建议。Sikakis院士对计算机学科的深切热爱、严谨的治学态度、坚持不懈的科学精神,给老师们留下了深刻的印象。 交流环节 图灵班将以此次座谈会为契机,继续践行拔尖人才培养理念,高举“科学精神”旗帜,致力于学生科学素养与科研能力提升,努力培养出适应国家发展需求的创新型高素质人才。
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小时。同学们热情高涨,认真倾听,会议结束时仍意犹未尽。相信通过此次会议,同学们能够更加清楚自己努力的目标和方向,作为拔尖人才培养的对象,继续为自己所承担的责任和使命而努力奋斗。
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人。研究院面向人机共融这一技术与社会发展的大趋势,围绕各种系统对“可信”的迫切共性需求,开展基础理论研究与关键技术研发,研究领域覆盖计算智能、可信软件、信息安全、自动驾驶、智慧城市和智慧医疗等重点前沿方向。同时,研究院还以培养集聚创新人才、开展国际合作交流、促进科技成果转化为使命,努力建成世界级的可信自主系统研究院,以国际领先的前沿技术、人才队伍助力深圳市乃至大湾区智能产业的发展。
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计算智能学会近几年来在中国大陆规模最大的一次学术盛宴,聚集了众多行业顶尖专家,为国内与国外计算智能同行构建了国际交流的良好渠道。活动的举办,对赋能计算智能研究领域的高质量发展以及多元化国际交流合作具有重要助推作用。 南方科技大学计算机科学与工程系
2022-11-24
“展宏图,觅灵机”图灵班系列讲座第二讲:Sifakis院士解读“人工智能与自主系统”
2022年11月23日下午,计算机科学与工程系图灵班“展宏图,觅灵机”系列讲座第二讲以线上方式举行。本次讲座邀请了图灵奖获得者、图灵班班主任Joseph Sifakis院士就“人工智能与自主系统”内容作专题分享。计算机系主任姚新教授、副主任郝祁副教授、图灵班同学及其他院系师生近百余名在线出席。 郝祁副教授首先致欢迎辞,并简要介绍了Sifakis院士的个人经历及全新著作。 讲座中,Sifakis院士从智能概念引入,着重介绍了人工智能与自主系统的相关问题。他认为,尽管机器学习技术取得了令人瞩目的成就,但我们离通用人工智能(AGI)还很远。他强调,开发自主系统是迈向AGI的重要一步。这需要计算科学与其他各学科之间的高度融合,尤其是基于数据的机器学习和基于模型的系统工程两者之间的融合。 Sifakis院士作报告 Sifakis院士讨论了人类智能和机器智能所需的五个知识层次,从低到高分别为:(1)事件和条件,(2)基于数据通过机器学习、数据分析获得的经验知识,(3)基于模型表述的科技知识,(4)通过数学推理与算法计算获得的知识,(5)元知识。他探讨了用于衡量人类智能和机器智能的现有标准及其相关性,并展示了科学研究产生知识与计算神经网络产生知识之间的类似和差异。他提出了自主系统的重要特征,并强调了常识体系、认知能力以及心理感受是人类智能成功的关键因素。 随后,Sifakis院士提出了具有挑战性的未来工作方向,包括为系统工程和人工智能建立新的学科发展基础,以及共同探索能够体现人类智慧的人工智能自主系统。 交流环节,线上听众纷纷提问。Sifakis院士就具体问题进行了详细解答和观点分享。 讲座最后,姚新教授和郝祁副教授对Sifakis院士表达了衷心的感谢,并欢迎他有机会再次回到南科大为图灵班学子们带来更多精彩的学术分享。