王义入选欧洲科学院院士

    本报沈阳10月8日电（记者刘勇、毕玉才）记者8日从东北大学获悉，该校信息科学与工程学院教授王义日前入选欧洲科学院院士，是本次该科学院信息学部遴选的12名院士中唯一的华人。王义因其在模型检验、嵌入式系统等领域的巨大贡献获此殊荣。

    欧洲科学院成立于1988年，是国际上跨地域和学术领域最广泛、学术地位最高、影响最大的科学组织之一。