图灵奖得主Joseph Sifakis 教授访问东北大学

日前，2007年度美国计算机协会图灵奖获得者、法国国家科学研究中心研究总监、国际著名嵌入式系统研究中心Verimag 实验室创始人Joseph Sifakis教授携夫人来校访问，在中组部****入选者、信息学院王义教授的陪同下参观了东北大学信息学院及东软集团和东网科技有限公司，分别与东北 大学校长赵继，党委副书记、纪委书记杨明，东软集团董事长刘积仁举行会谈，并为东北大学师生作了两场专题学术讲座。

6月23日下午，杨明在汉卿会堂101室与Joseph Sifakis教授进行简短会面，软件学院相关负责人、国际合作与交流处工作人员陪同会见。杨明对Joseph Sifakis教授来校进行学术交流表示热烈欢迎，并简要介绍了东北大学产学研结合的办学特色。Joseph Sifakis教授对东北大学在理论与应用结合所取得的成果给予高度肯定，并表示愿意在科技成果转化等方面为东北大学提供帮助。

24日，JosephSifakis教授参观信息学院，并与学院师生在信息学馆208室进行学术座谈。自然语言处理实验室教师代表就NiuTrans系统开发研究工作作了简要汇报。

25日，Joseph Sifakis教授在王义教授的陪同下到东网科技有限公司参观访问。Joseph Sifakis教授参观了东北区域超算中心的机房和电力、制冷系统等基础设施，对东网科技有限公司环保、节能、创新的发展理念表示充分肯定。在东网科技有 限公司曙光号会议室，Joseph Sifakis教授与东网科技有限公司负责大数据分析、云计算解决方案研发等项目组的20余名技术人员共同交流科研心得与经验，双方就信息科学领域的容器 技术、高可靠性嵌入式系统设计、操作系统安全性等问题进行了深入讨论。

当晚，东北大学校长赵继在国际学术交流中心同心厅会见JosephSifakis教授夫妇，国际合作与交流处、软件学院相关负责人及信息学院王义教 授陪同会见。赵继简要介绍了东北大学的发展历史、基本现状和特色优势，以及新时期学校的学科优化布局和国际化开放发展战略，并在讲话中表达了与 Joseph Sifakis教授开展合作的意愿，希望Joseph Sifakis教授在相关学科发展上加以指点。Joseph Sifakis教授对自己的研究领域和取得的成果进行了简要介绍，并对东北大学相关学科的发展提出了宝贵的意见和建议。

26日，Joseph Sifakis教授访问了东软集团，并与东软集团董事长刘积仁教授进行座谈，东北大学计算中心相关负责人、信息学院王义教授，东软集团海外业务总监刁爱利 参加座谈。刘积仁介绍了东软集团的发展历程、目前的主要业务和未来的发展目标。刘积仁指出，目前东软集团已经在大连、成都和佛山建立了三所信息学院，并以 学术和技术转化为学校发展的重点，东软信息学院一直致力于鼓励学生创业、引进国际师资和招收留学生。Joseph Sifakis教授介绍了自己的研究领域、科技成果转化，以及在安全和医疗方面和欧洲企业合作的情况。他指出，东软可仿效国际模式建立中外院校间的学生项 目合作网络，以促进学生交流。会上，双方还就网络安全、软件安全标准、校企合作等问题交换了意见。

6月23日和24日下午，Joseph Sifakis教授分别在汉卿会堂学术报告厅和信息学馆301室为东北大学师生作了题为“物联网——信息和通信技术终极革命（the Internetof Things, the Ultimate ICT Revolution）”和“严谨的系统设计（RigorousSystem Design）”的学术讲座，并详细解答了与会师生们的相关问题。

访问期间，Joseph Sifakis教授还受邀出席了东北大学2015届本科生毕业典礼暨学位授予仪式。