西工大新闻网7月4日电（记者 赵珍 王凡华 付怡）Pro. Joseph Sifakis（约瑟夫·斯发基斯），法国国家科学研究中心（CNRS）研究总监，国际著名嵌入式系统研究中心Verimag实验室的创始人，欧洲嵌入式系统项目European Network of Excellence ARTIST2 科学协调人。因在模型检验领域的杰出贡献，他与卡耐基梅隆大学爱德蒙•克拉克教授（Edmund Clarke）、得克萨斯大学奥斯汀分校艾伦•爱默生教授（Allen Emerson）共享了2007年度的图灵奖，成为法国第一位获此殊荣的科学家。6月27日，他应邀访问西工大并受聘为我校名誉教授。

“机器可以赢得围棋比赛，但这并不是智力”

初见Sifakis教授，他那种法国人特有的、对精致的追求，就深深地震撼了我。已过夏至，他依然穿着一身剪裁合体、挺括流畅的米色Business Suit，配以同色系的菱纹格领带和深棕色皮鞋。难以相信，眼前这位散发着时尚气息的绅士，竟是一名计算机“极客”。

采访中，Sifakis始终保持微笑，他身体微微前倾，精心修剪的鬓角渗出细密的汗珠。透过那副金属黑框眼镜，我看到了他深邃、冷峻的目光。

与图灵奖得主“聊天”，自然离不开人工智能这一话题。

未来，人工智能会比人还聪明吗？智能写作机器人会替代文字工作者吗？Sifakis教授认为，我们大可不必为AlphaGo、DreamWriter等智能机器人过于恐惧。

“人类永远都比机器聪明。机器的优势在于快速、精准地计算，并迅速提供多种可能的解决方案。机器虽然可以赢得围棋比赛，但这并不是所谓的‘智力’，人类特有的创造力和想象力，才是真正的智力。”他说。

“不用担心，写作机器人不会让你失业，”针对记者关于智能写作机器人的担忧，Sifakis教授笑着说，“在某些情况下，机器人可以写新闻，但那只是对材料、数据的合成，而记者写新闻，是要加入自己的观点的——这就是俗称的‘评论员’文章。”

通过一系列步骤有策略地实现梦想

Sifakis教授生于希腊，为了接受更好的教育，上世纪70年代，他来到了有“法国硅谷”之称的格勒诺布尔，并在那里学习、工作、生活了半个世纪。

对于接受高等教育，他有着让常人难以理解的固执和坚持。“人工智能的发展不可阻挡，为了避免失业，未来每个人都应接受高等教育。”在Sifakis教授看来，未来高等教育的重点在于培养年轻人的创新能力，要让年轻人拥有探寻不同领域和可能性的能力。

未来哪些人不会失业？Sifakis教授思考片刻后，坚定地回答：“设计师不会失业，因为机器人无法取代这种创造性的工作。设计师需要拥有艺术家一般的创造力，不论是计算机、航天器的设计，还是汽车、房屋的设计，都是人类拥有绝对优势的领域。”

采访当天，恰逢高考填报志愿的关键时期，令记者感兴趣的是，Sifakis教授年轻时，为何选择了计算机作为自己的专业？“我认为最重要的是选择一个喜欢的专业，并且能从中发现学习的乐趣，学会如何创造。我们需要对选择的专业抱有梦想和目标，并且有策略地通过一系列步骤去达成。” Sifakis教授强调，“所以一定要先学会了解你自己。”

能够自我修正嵌入式系统改变我们的生活

“为什么将模型检验作为自己的研究方向？”记者问。

听到这个问题，Sifakis教授笑着点点头、略微提高了声音说：“之前工程师测试程序，需要检测很长时间，并且要验证完所有可能出现的问题，花费巨大。有了模型检验，我们可以通过带入验证保证系统，来检验运行质量。简单地说，就是既省时，又便宜。”

模型检验技术问世后，先后被因特尔公司、空客、微软、谷歌等企业应用于工业生产中。这一技术的广泛应用，让集成电路系统的运行稳定性和产品质量大大提高。

作为一名资深“极客”，Sifakis教授不可避免地喜欢探索未来。他最近的研究领域，是嵌入式计算系统：“我希望能够通过嵌入式计算机和云计算技术，为全球提供更便捷、高效、智能的服务。”

他认为，未来的嵌入式计算机可以形成对外界变化的自适应能力，不用像现在的笔记本电脑一样，需要人的指令不断干预。“形成一个逻辑环”，嵌入式系统能够自己发现问题、避免出现漏洞。

通过基础网络架构，采用云计算对数据进行存储、分析、反馈，可以优化资源和管理。“比如，把嵌入式计算系统运用在智能汽车上，可以有效避免因为系统漏洞产生的交通事故。运用更聪明的智能计算系统，将大大提高我们的生活质量。”

（审稿：高大力 编辑：田庆青）