谈起“自主系统”的概念，或许很多人还会感到陌生。但假如谈到无人汽车、无人飞行器（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、童小晋

图片：张晓燕