来源:中国日报网 发布时间:2015/10/10 10:08:33
选择字号:
东北大学王义教授入选欧洲科学院院士

 

日前,东北大学千人计划特聘教授王义入选欧洲科学院院士,是本次该科学院信息学部遴选的12名院士中唯一的华人。王义教授因其在模型检验、嵌入式系统等领域的巨大贡献获此殊荣。

欧洲科学院又称欧洲人文和自然科学院,总部设在英国伦敦,英语全称为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。(原标题:东北大学王义教授入选欧洲科学院院士)

 
特别声明:本文转载仅仅是出于传播信息的需要,并不意味着代表本网站观点或证实其内容的真实性;如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任;作者如果不希望被转载或者联系转载稿费等事宜,请与我们接洽。
 
 打印  发E-mail给: 
    
 
以下评论只代表网友个人观点,不代表科学网观点。 

2015/10/11 20:12:44 dawndream
这个牛!
2015/10/10 23:31:14 dkyz
什么是“诺贝尔奖级别得主”??
2015/10/10 22:37:02 cyp4168
科学网也有这么多无脑喷,真是无语
2015/10/10 15:47:59 xaogny
@trafagar 大神,你好!大神,再见!回去搬砖吧 哈哈哈
2015/10/10 12:59:00 sheepgogogo
民工再怎么比老九级别高。哈哈哈哈!
目前已有6条评论
相关新闻 相关论文

图片新闻
食草牛不会拯救气候 德科学家从爱思唯尔辞职以推动开放获取
基因给鹦鹉披上五彩衣 拉帕努伊人没见过南美人?
>>更多
 
一周新闻排行 一周新闻评论排行
 
编辑部推荐博文
 
论坛推荐