现场签约仪式。 奚金燕 摄
中新网浙江新闻5月27日电（记者 奚金燕）27日，2007年图灵奖得主Joseph Sifakis（约瑟夫•斯发基斯）院士来到金华市金东区，作了题为“计算机自治系统（AS）新应用及新挑战”的专题讲座，并透露自己将与当地进行深入合作，推动产业互联网方面的相关科研成果落地。
据了解，Joseph Sifakis院士是法国国家科学研究中心（CNRS）研究总监，是法国国家科研中心2001年银质奖章获得者，拥有工程师博士学位和法国格勒诺布尔一大国家博士生学位，曾创立以嵌入式系统著称全球的Verimag实验室（UJF/CNRS/INPG）。同时，Joseph Sifakis院士也是“模型检查”技术的发明者。该技术目前在工业界应用广泛。
由于在模型检验领域的杰出贡献，Joseph Sifakis院士在2007年，与卡耐基梅隆大学爱德蒙•克拉克教授（EdmundClarke）、得克萨斯大学奥斯汀分校艾伦•爱默生教授（AllenEmerson）共同获得了有着“计算机界的诺贝尔奖”之称的图灵奖，成为法国第一位获此殊荣的科学家。
专题讲座现场。 奚金燕 摄
此次金华之行令Joseph Sifakis院士印象深刻。“金华是一座历史悠久的人文之城，也是一座充满活力的创新之城，对人才充满着热切的渴望。”他表示，接下来，自己将带领着技术团队以及自己的学生常来金华金东走走，寻找更多的合作契机。
据了解，Joseph Sifakis院士作为金东区引进的第一位图灵奖得主，将出任浙江大维高新技术股份有限公司首席技术官，双方将在等离子体多种污染物脱集中控制系统开发以及对FPGA和DSP嵌入式系统的安全和可靠性验证等项目上进行深入合作。
地处浙江省中部的金华，被誉为“浙江之心”，文化底蕴深厚，商品市场繁荣，民营经济发达，是长三角城市群规划的26个中心城市之一、G60科创走廊9大城市之一、沪杭金发展带重要节点城市。
作为金华发展的重要增长极，近年来，金东始终树牢“发展是第一要务、创新是第一动力、人才是第一资源”的理念，坚持引才、用才、育才并举，以开放视野广纳人才，以市场机制集聚人才，以令人向往的职业愿景和优厚待遇留住人才，使金东成为了人才集聚之地、人才辈出之地。乡贤总会、院士专家工作站、引才联络站……一项项务实举措的落地，为金东的高质量发展注入了人才动力。
金华市副市长陶叶萍表示，此次与Joseph Sifakis院士达成合作，是金华引进海外顶尖人才的新突破、新高点。下一步，金华市政府将全力支持约Joseph Sifakis院士在金华的各项工作，为其提供良好的合作环境。（完）
|
