2019年5月，2007年图灵奖得主、他山石专家约瑟夫·斯发基斯与浙江大维高新技术股份有限公司签约仪式在金东区举行，双方将在等离子体多种污染物脱集中控制系统开发以及对FPGA和DSP嵌入式系统的安全和可靠性验证等项目上进行深入合作。这是我国浙江省金华市金东区首次引进图灵奖专家。
约瑟夫·斯发基斯
约瑟夫·斯发基斯是著名的计算机科学家，第一位荣获图灵奖的法国研究人员。
发明了如今广泛应用于工业界的模型检验（Model-Checking）技术（用数学算法来验证一个软件或硬件系统设计是否满足预设的安全性或可靠性需求），该技术在工业检测方面有诸多应用，如芯片检测、通信协议、外部设备主控软件、嵌入式系统（如在飞机、火车、火箭、卫星或移动电话）、集成电路设计、安全算法等。因该技术在国际上获得声誉，并因此获得2007年度图灵奖。
曾积极致力于将科研成果向工业合作伙伴转让的Joseph Sifaki，作为欧洲“卓越网络”（Network of Excellence）嵌入式系统设计研究联盟 《ARTIST2 Embedded Systems Design 》的技术协调人，主要对35个欧洲研究小组的研究进行协调，以便对用于具有高性能和高可靠性的嵌入式系统设计的理论和实际应用成果进行开发。
斯发基斯教授与中国有很深的缘分，他曾受聘西北工业大学名誉教授并接受校方采访，就人工智能相关议题表达了自己的看法。
人工智能可以赢得比赛，但这并不是智力
未来，人工智能会比人还聪明吗？智能写作机器人会替代文字工作者吗？关于这些常见的疑问，斯发基斯教授认为，大可不必对智能机器人过于恐惧。
他强调，人类永远都比机器聪明。机器的优势在于快速、精准地计算，并迅速提供多种可能的解决方案。机器虽然可以赢得围棋比赛，但这并不是所谓的“智力”，人类特有的创造力和想象力，才是真正的智力。在某些情况下，机器人可以写新闻，但那只是对材料、数据的合成，而记者写新闻，是要加入自己的观点，这就是俗称的‘评论员’文章。所以不用担心，写作机器人不会让记者失业。
创新能力让人类拥有绝对优势
斯发基斯教授生于希腊，为了接受更好的教育，上世纪70年代，他来到了有“法国硅谷”之称的格勒诺布尔，并在那里学习、工作、生活了半个世纪。对于接受高等教育，他有着让常人难以理解的固执和坚持。
“人工智能的发展不可阻挡，为了避免失业，未来每个人都应接受高等教育。”在斯发基斯教授看来，未来高等教育的重点在于培养年轻人的创新能力，要让年轻人拥有探寻不同领域和可能性的能力。
未来哪些人不会失业？越发基斯教授表示，设计师不会失业，因为机器人无法取代这种创造性的工作。设计师需要拥有艺术家一般的创造力，不论是计算机、航天器的设计，还是汽车、房屋的设计，都是人类拥有绝对优势的领域。
智能计算正在系统地改变我们的生活
“为什么将模型检验作为自己的研究方向？”谈到自己的专业领域，斯发基斯教授阐述道：“之前工程师测试程序，需要检测很长时间，并且要验证完所有可能出现的问题，花费巨大。有了模型检验，我们可以通过带入验证保证系统，来检验运行质量。简单地说，就是既省时，又便宜。”模型检验技术问世后，先后被因特尔公司、空客、微软、谷歌等企业应用于工业生产中。这一技术的广泛应用，让集成电路系统的运行稳定性和产品质量大大提高。
作为一名资深“极客”，斯发基斯教授非常喜欢探索未来。他最近的研究领域，是嵌入式计算系统：“我希望能够通过嵌入式计算机和云计算技术，为全球提供更便捷、高效、智能的服务。”
他认为，未来的嵌入式计算机可以形成对外界变化的自适应能力，不用像现在的笔记本电脑一样，需要人的指令不断干预。“形成一个逻辑环”，嵌入式系统能够自己发现问题、避免出现漏洞。通过基础网络架构，采用云计算对数据进行存储、分析、反馈，可以优化资源和管理。“比如，把嵌入式计算系统运用在智能汽车上，可以有效避免因为系统漏洞产生的交通事故。运用更聪明的智能计算系统，将大大提高我们的生活质量。”
以上内容摘自西北工业大学对约瑟夫·斯发基斯采访，部分内容有删减。
责任编辑：
