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

2019-12-08 11:47:40 来源: 邯郸信息港

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

中国教育讯( 刘玉)日前,东北大学千人计划特聘教授王义因其在模型检验、嵌入式系统等领域的巨大贡献而入选欧洲科学院院士。

欧洲科学院又称欧洲人文和自然科学院,总部设在英国伦敦,英语全称为Academia Europaea (The Academy of Europe),成立于1988年,是欧洲多国科学部长共同倡导创立,英国皇家学会等多个代表欧洲国家最高学术水平的国家科学院共同发起成立的一个包括东、西欧国家的国际科学组织。

欧洲科学院分20个学部,其学科领域涵盖人文科学、社会科学、自然科学和科学技术等,是国际上跨地域和学术领域最广泛、学术地位最高、影响最大的科学组织之一。该院院士来自全球54个国家

,主要从欧洲各个国家的科学院院士中选出,代表着欧洲人文和自然科学界最优秀的科学精英和学术权威,目前有院士2000多人,其中包括诺贝尔奖得主58人

,图灵奖得主6人,菲尔兹奖得主13人,诺贝尔奖级别得主共有150余人。

今年入选欧洲科学院的200余位院士有4位华人。王义教授入选欧洲科学院,是欧洲科学界对他学术造诣的极高评价和肯定。

王义教授现为东北大学信息科学与工程学院教授,2007年入选教育部长江学者,2011年入选中组部千人计划。主要从事实时系统、嵌入式系统、多核计算机系统、模型检测、形式方法等领域的研究。所发表论文在Google Scholar统计的论文引用次数超过8000次,H-Index为46,论文单篇最高引用达1500余次。王义教授在上个世纪80年代建立了时间进程代数理论TCCS,在实时系统及形式化方法领域有广泛影响;90年代领导开发了UPPAAL模型检验系统,在60多个国家的高校、研究机构及工业界中得到了广泛应用,产生了巨大影响。由于在计算机系统的建模及验证领域的卓越贡献,王义教授荣获2013年度CAV奖。在实时系统领域,王义教授为推动多核计算机芯片在嵌入式系统的应用,带领团队解决了多个前沿技术发展中的理论难题,做出了一批国际领先的成果,多次在顶级会议获得最佳论文及最佳论文提名。由于在实时系统领域的杰出贡献

,2015年被增选为IEEE Fellow。

分享到

【字体:大中小】【打印】【发表评论】【推荐】【纠错】【关闭】

{:周玲玲}

山东治疗癫痫病专科医院哪好
癫痫病治疗医院桂林哪家好
徐州妇科医院哪好
丹东市第三医院
济南艾玛医院妇科
本文标签: