谈起“自主系统”的概念，或许很多人还会感到陌生。但假如谈到无人汽车、无人飞行器（unmanned aerial vehicles）、无人车间（unmanned workshops）等等，你会发现，“自主系统”早已走进了人们的视线，并开始发挥越来越重要的作用。我们有理由相信，自主系统将会在未来的“智能时代”占据一席之地。 Joseph Sifakis Joseph Sifakis是自主系统领域的专家，法国国家科研中心的誉研究员，同时也是位于法国格勒诺布尔、在嵌入式系统领域具有领先地位的研究中心Verimag实验室的创始人。2007年，Joseph Sifakis因其对模型检查理论和应用的贡献，获得具有“计算机界诺贝尔奖”之称的图灵奖，这项理论是世界上最广泛使用的系统验证技术。2019年年初，这位在国际上享有盛名的科学家怀着对南科大这所新兴大学以及中国计算机科学事业的期待，来到了深圳，正式成为南科大杰出教授（Distinguished Professor）。他期望在这里开展更多合作项目，为这个血液中深植创新基因的大学带来新的机遇。 走进Joseph的办公室，我们见到的他神情自信而沉稳，镜片后的眼睛闪烁着睿智的光芒。长达两小时的采访中，Joseph讲述了他对自主系统、人工智能等时下热门科学问题的深刻理解，谈到了对计算机学科发展的思考，以及与南科大结缘的经过。 多学科背景有利于激发灵感 1946年，Joseph Sifakis出生于希腊的伊拉克利翁。学生时代，他在希腊雅典国立科技大学电子工程系学习，但他同时也对物理有着浓厚的兴趣。后来到法国，在一个偶然的机会下，年轻的Joseph接触到计算机科学，很快就被这门学科深深吸引，改变了专业，并在这条道路上越走越远。1984年，在法国工作的Joseph结识了来自卡内基梅隆大学的Edmund M.Clarke和E.Allen Emerson，他们志同道合，共同开发模型检验技术，使其成为一种高效的验证技术，在硬件和软件行业得到广泛应用。 在Joseph学习计算机科学的过程中，给他带来影响最深的却是一位应用数学家Hugo。Joseph说，Hugo带他走上科研之路，鼓励他探索新的道路，与其他学科背景的学者合作。这也给他带来了灵感与创新的火花。Joseph认为，计算机的背景对于深入了解世界是必不可少的。如果你想拥有创造力，最好有多学科背景。 “当你决定学习计算机科学时，你的抱负应该是成为一个不仅仅是一个简单的程序员的人。你应该学会如何设计需要多学科背景的计算机系统。” Joseph是一位乐于倾听、善于听取不同意见的人，在和他人的交往过程中，他很善于吸取别人思想中的闪光点。“我遇到过很多有趣的人，和他们交谈，他们的思维方式都能够带给我潜移默化的影响。”他能够取得现在的成就，也和他兼容并包、乐于倾听和接受他人思想的精神是分不开的。 Joseph对南科大有志于计算机科学的学生提出这样的建议：他们应该“努力学习，了解基础，并通过参与研发项目，尝试将它们与应用程序联系起来。” Joseph做客南科大讲堂 “智能时代”离我们有多远 随着信息和通信技术的发展，物联网已经被公认为与人工智能、AR（虚拟现实）/VR（增强现实）并列的未来三大主流技术。物联网构筑的美好愿景让人们心驰神往。什么是物联网？顾名思义，就是“物物相联”的互联网，是一种集成各种设备的巨大网络基础设施，以应对全球挑战，如实现资源的经济有效管理和提高生活质量。在物联网中，设备可以自动工作并响应云端提供的智能引导下的环境变化。这些设备可能包括智能手机、耳机、汽车、灯泡、冰箱、咖啡机、安全系统和报警系统。专家认为，物联网是信息和通信技术的终极愿景。 自主系统对于真正实现这一愿景至关重要，因为它们能够独立完成这些任务，而无需人工干预。 Joseph对记者说：“自主系统应该展示出一种广泛的智能，这样它们就可以取代各种组织中的人类操作员。”自主系统需要广泛的智能，它就像是一个有着明确规则的游戏，而不仅仅只是机器人下棋那么简单。系统需要能够处理信息，以便像人类一样应对不断变化的现实环境。可以说，建立可靠和最优的自主系统远远超出了当前人工智能的挑战。 随着新组件的快速发展和可用计算能力的不断提高，信息和通信技术日新月异。云计算和数据分析的使用，创造了巨大的机会。尽管如此，自治系统技术仍面临许多挑战。 “目前自主系统面临的最大挑战是安全，”Joseph说道，“如果一个自主系统受到黑客的破坏，这将会对其系统造成严重损害。组织应该执行确保计算机系统安全的法规。”约瑟夫还谈到了确保可靠通讯的技术问题。这个问题需要解决，以确保自主系统，特别是自动驾驶汽车的顺利运行。 当谈到人们关心的人工智能问题时，Joseph说，它未来的社会影响将取决于有关其实际用途的政治决策，当今许多西方公司已经取得了许多令人瞩目的成就，未来的前景将更加光明。 无人驾驶汽车 加入南科大共绘理想蓝图 2018年6月，一个偶然的机会，Joseph与南科大计算机科学与工程系主任姚新结识，在与姚新的交谈中，Joseph对南科大这所新兴大学产生了浓厚的兴趣。他认为，作为一所新兴大学，南科大有着不同于其他传统大学的魅力，与此同时，它也是一所开放的大学，在这里实施突破性的想法和创新要容易得多。。 “深圳这个城市是吸引我来到南科大的另一个原因，”Joseph充满激情地道，他的眼里带着对未来的期许，“深圳有着得天独厚的地理位置与条件，粤港澳大湾区已经成为时下人们热议的话题。我认为深圳已经具备成为一流创新生态系统、东方硅谷核心的一切条件。我很期待见到这一愿景的实现。” 来到改革创新的南科大，来到有“创新之都”之称的深圳，Joseph满怀憧憬，他将开展系列创新项目，以推进自主系统的发展。此外，Joseph在全球范围内还有一些更长期的目标，这些目标可能会产生直接的社会影响，并旨在广泛使用物联网技术，提高生活质量和公民服务。 “我很喜欢中国。中国人热爱学习，也愿意倾听和思考。我希望能在这里，把一些想法变成现实。”Joseph说道。 文字：童小晋采访：Chris、童小晋图片：张晓燕

2019年1月15日，南方科技大学杰出教授、图灵奖得主 Prof. Joseph Sifakis 做客南科大讲堂，为南科大师生带来了一场题为“Autonomous Systems-A Rigorous Architectural Characterization自主系统——严谨的架构描述”的学术报告。我校计算机科学与工程系主任姚新主持本期大讲堂。 Prof. Joseph Sifakis 报告指出，当今物联网的愿景是实现“自主”，即将智能服务更好地集成于系统，且最大限度地减少人为干预。基于自主系统的设计问题，Prof. Joseph Sifakis 提出了一种结合系统构架模型和智能体模型的通用计算模型，旨在调理自主系统中“智能体” (Agent) 和“对象” (Object) 的关系。该架构模型可使得系统根据各种突发环境条件独立实现动态可重构的多模式协调，从而自主完成任务。它结合了五个基本方面，分别是感知、知识库、目标管理、规划和自适应。随后，Prof. Joseph Sifakis 对比了现阶段机器自主和人类辅助机器自主之间的差距，体现出构建自主系统的难度。 陈十一校长为Prof. Joseph Sifakis颁发南科大讲堂证书 在总结阶段，Prof. Joseph Sifakis 概述了其研究结果：“自主”作为一种广泛的智能，不应只局限于特定的实现技术，而应强调系统的功能设计；建立“可信赖”(Trustworthiness)和“优化” (Optimization)的自主系统远远超过目前人工智能系统所面临的挑战。 嘉宾介绍 图灵奖得主Prof. Joseph Sifakis于2019年1月7日正式加入南方科技大学计算机系，现为南方科技大学杰出教授（Distinguished Professor）。他是法国国家科研中心的荣誉研究员，同时也是格勒诺布尔市Verimag实验室的创始人，研究领域主要包括系统设计的基本概念和应用。Prof. Joseph Sifakis 主要专注于系统设计的形式化，即根据特定的要求实现可信赖、最优化且构造正确的系统。2011年到2016年期间，Prof. Joseph Sifakis 于洛桑联邦理工学院（EPFL）担任正教授一职。2007年，Prof. Joseph Sifakis 被授予了图灵奖，以表彰其在模型检查理论和应用方面做出的卓越贡献。Prof. Joseph Sifakis 是法国科学院院士、法国国家工程院院士、欧洲科学院院士、美国艺术与科学学院院士及美国国家工程院院士。