王义 (计算机科学家) 王义东北大学教授主要从事实时系统的模型检测多处理器调度与分析等方面的研究工作入选中华人民共和国教育部第八批长江学者特聘教授曾就读于中国东北大学计算机系