王义,欧洲科学院院士,IEEE Fellow,东北大学计算机科学与工程学院院长、教授。主要从事实时计算机系统建模、设计与验证方面的研究。主持了多项欧盟研究基金、瑞典自然科学基金、瑞典战略基金、及瑞典技术开发委员会基金、中国自然科学重点基金支持的多项重点重大科研项目。迄今发表论文150余篇,总引用次数12294次,H-index为55,单篇最高引用2425余次。
其主要学术贡献包括:
(1)实时系统验证:UPPAAL系统的创始人
在实时系统模型检测领域做出了若干原创性的理论贡献,创造性地使用诸如状态空间削减、时间约束表达等多种全新的理论方法来有效地解决状态空间爆炸问题。带领学生开发了著名的模型检测工具UPPAAL。经过22年努力,UPPAAL系统已经是实时计算机系统的标准分析工具。UPPAAL系统被广泛应用于汽车、通信、航空和航天等领域中电子系统的设计与验证。关于UPPAAL的第一篇论文,在1972年以来软件领域发表的七万余篇论文中被评为最有影响的十篇论文之一。由于创立UPPAAL系统,王义教授与丹麦Larsen及瑞典Pettersson教授共同获得2013年的CAV奖(CAV奖被认为计算机系统验证领域的最高奖)。
(2)实时系统调度理论
解决了单处理器调度可行性判定的复杂度问题(实时调度理论根本问题),相关论文获得2015年IEEE实时系统年会(RTSS)和欧洲实时系统年会(ECRTS)最佳论文奖。2002年首次提出用时间自动机技术解决资源调度问题(TACAS 2002)。为了降低分析复杂度,2011年把图的概念引入调度模型(RTAS 2011),并创造性地用动态规划技术解决了复杂实时系统的可调度分析问题。在混合关键系统方面的一项工作获得2012年欧洲实时系统年会杰出论文奖,并被IEEE实时系统技术委员会选为实时系统经典论文之一。在多核计算机系统资源调度领域也做出了重要理论贡献,与学生合作将单处理机调度中著名的Liu & Layland资源利用率界限及其它参数化资源利用率界推广到多处理机调度,解决了多处理器调度中四十年悬而未决的著名理论难题。提出了多核处理器上实时任务集响应时间上界的分析方法,此结果获得2009年IEEE实时系统年会(RTSS)最佳论文奖。这些成果为多核处理器在高性能低功耗实时系统中的应用奠定了理论基础。
(3)实时系统理论模型
王义教授上个世纪九十年代初期创立了时间进程代数TCCS,对实时系统理论的研究产生了深远的影响。他提出的连续时间模型及操作语义早在九十年代就被写入实时系统教科书,并被应用于ISO国际标准组织电信系统描述语言标准E-LOTOS。
王义教授获得的各类学术奖励包括:
1) CAV Award 2013(for the development of UPPAAL)
2) 顶级国际会议RTSS 2015最佳论文奖
3) 顶级国际会议ECRTS 2015杰出论文奖
4) 著名国际会议DATE 2013最佳论文奖
5) 顶级国际会议RTSS 2009最佳论文奖
6) 顶级国际会议RTAS 2011、RTSS 2010、RTAS 2010最佳论文提名
7) ETAPS 2002 Best Tool Paper Award,欧洲软件年会最佳工具奖
删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
东北大学计算机科学与工程学院导师教师师资介绍简介-王义
本站小编 Free考研网/2020-03-23
相关话题/工程学院 计算机科学
东北大学计算机科学与工程学院导师教师师资介绍简介-王兴伟
王兴伟,男,1968年生。博士,教授,博士生导师。国家杰出青年科学基金获得者,国务院政府特殊津贴获得者,教育部新世纪优秀人才,辽宁省优秀教师,沈阳五一劳动奖章获得者;中国计算机学会体系结构专委会副主任委员,中国计算机学会互联网专委会副主任委员;中国通信学会理事,会士,会士遴选委员会委员;中国教育和科研计算机网CERNET专家委员会委员、东北地区网络中心主任;辽宁省互联网协会副理事长;CTON编委, ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-邓庆绪
邓庆绪:男,博士,1970年12月生,东北大学信息学院教授、博士导师,物联网工程研究所所长,辽宁省嵌入式软件工程中心主任,航空动力装备振动及控制教育部重点实验室副主任。中国计算机学会高级会员,辽宁省优秀青年骨干教师,教育部新世纪人才,辽宁省教育厅创新团队负责人,辽宁省中青年科技创新领军人才。主要研究方向为实时嵌入式系统、可重构计算、信息物理系统(CPS)。曾任DAC、R ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-王波涛
王波涛,男,1968年4月生,现任计算机系系统研究所教授,博士生导师。1992年获东北大学计算机应用专业硕士学位。2000年获日本九州大学情报工学博士学位。2002年7月至2006年12月在日本东京大学做博士后研究。在国际、国内重要杂志和会议上发表论文30余篇。主要研究方向:大数据、云计算、基于位置服务、数据流管理系统、发布/订阅系统、移动数据库、时空数据库、高维索引等。学校主页:http://f ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-付冲
付冲,教授/博士生导师,九三学社社员,IEEE会员。1975年出生,1998年毕业于东北大学信息学院通信工程专业,获学士学位,2001年获东北大学通信与信息系统专业硕士学位,2006年获东北大学计算机软件与理论专业博士学位。自2018年10月任东北大学计算机科学与工程学院副院长。于2010年6月至9月以访问学者身份在香港理工大学电子与资讯系进行研究工作。主要研究方向为基于混沌密码学的多媒体信息安全 ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-申德荣
申德荣,女,教授、博士生导师。分别于1987年7月和1990年6月在吉林大学获得计算机应用专业学士学位和硕士学位,2004年3月在东北大学获得计算机软件与理论专业博士学位。主要研究方向包括分布式数据库、分布式数据管理、大数据集成、知识图谱、社交网络等研究内容。 作为课题负责人或主要参与人完成国家973项目、自然科学基金项目、国家863项目以及横向课题20余项。在各类核心期刊和国际、国内学术会议上发 ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-朱靖波
朱靖波,1999年9月博士毕业于东北大学计算机软件与理论专业,同年11月留校受聘于东北大学,现任计算机科学与工程学院教授、博士生导师,自然语言处理研究方向学术带头人。社会学术兼职有:科大讯飞AI大学首批特聘教授、中国中文信息学会常务理事等。2004-2005年曾在香港城市大学访问研究,2006-2007年曾在美国南加州大学开展国家公派访问学者研究。入选国家教育部新世纪优秀人才和辽宁省百人层次人才计 ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-毕远国
毕远国,教授,博士生导师,计算机科学与工程学院党委副书记兼纪委书记、计算机工程系主任、复杂网络系统安全保障技术教育部工程研究中心副主任。2007年9月-2009年9月在加拿大滑铁卢大学做联合培养博士生,2010年7月作为东北大学引进人才就职于东北大学计算机科学与工程学院。研究领域包括车联网、自动驾驶、软件定义网络、网络安全、工业互联网等。作为负责人主持国家重点研发计划项目课题/子课题、国家自然科学 ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-刘辉林
刘辉林:1964年12月生,辽宁黑山人。博士、东北大学计算机科学与工程学院教授、博士生导师;中国计算机学会高级会员;多年来,承担了国家发展改革委员会、国家八六三、国家自然科学基金、省、市及企业课题30余项,获得省、部级二等奖各一项、省级、自然科学基金三等奖各一项。在国内外的重要的杂志或相关学术会议发表论文近50篇,出版《接口技术》、《微型计算机实用大全》等教材和其他著作 ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-乔建忠
乔建忠,男,1964年9月出生,计算机系统研究所教授,博士生导师,《小型微型计算机系统》编委,辽宁省软件系统应用与开发共性技术重点实验室副主任,辽宁省计算机学会常务理事,中国计算机学会高级会员,信息产业部高级项目经理。主要从事软件体系结构、分布式并行计算和操作系统技术等方面的研究。作为项目负责人和主要参加者,主持、参加了国家七五、八五、九五等重点攻关课题、中科院知识创新 ...东北大学师资导师 本站小编 Free考研网 2020-03-23东北大学计算机科学与工程学院导师教师师资介绍简介-孙永佼
孙永佼,男,教授,硕士生导师,2012年获得东北大学计算机专业博士学位,并获得辽宁省博士论文提名奖。同年作为东北大学引进人才,就职于计算机科学系。主要研究方向为云计算、大数据管理、数据分析、机器学习、不确定数据管理、分布式数据管理。近年来在TKDE、TPDS、NEUCOMPUTING、World Wide Web Journal、DASFAA、WAIM、APWeb、计算机学报、东大学报等国内外重要 ...东北大学师资导师 本站小编 Free考研网 2020-03-23