东北大学王义教授入选欧洲科学院院士

　　本报讯(沈阳日报、沈阳网记者杨主格)记者10月8日获悉，日前，东北大学千人计划特聘教授王义因其在模型检验、嵌入式系统等领域的巨大贡献，入选欧洲科学院院士，是本次该科学院信息学部遴选的12名院士中唯一的华人。

　　欧洲科学院又称欧洲人文和自然科学院，成立于1988年，总部设在英国伦敦。欧洲科学院分20个学部，其学科领域涵盖人文科学、社会科学、自然科学和科学技术等，是国际上跨地域和学术领域最广泛、学术地位最高、影响最大的科学组织之一。

　　王义教授现为东北大学信息科学与工程学院教授，2007年入选教育部长江学者，2011年入选中组部千人计划，主要从事实时系统、嵌入式系统、多核计算机系统、模型检测、形式方法等领域的研究。

　　据了解，王义教授在上个世纪80年代建立了时间进程代数理论TCCS，在实时系统及形式化方法领域有广泛影响；90年代领导开发了UPPAAL模型检验系统，在60多个国家的高校、研究机构及工业界中得到了广泛应用，产生了巨大影响。