基本信息 办公电话： 电子邮件： wmwu@bjtu.edu.cn
通讯地址：北京交通大学计算机与信息技术学院 邮编：100044

教育背景 学历：
1985,9－1989,7 吉林大学计算机系系统结构专业本科。
1989,9－1992,3 哈尔滨工程大学计算机系计算机应用专业硕士。
1992,4－1995,10 哈尔滨工业大学计算机系计算机应用专业博士。
研究经历：
1996,4－1998,4 浙江大学机械工程与自动化系 博士后。
1998,4－2000,4 清华大学计算机科学与技术系 博士后。
2000,4－2007,4 清华大学计算机科学与技术系 副研究员。
2007,4至今 北京交通大学计算机与信息技术学院 副研究员。

工作经历
研究方向 高性能计算
计算机技术（专业学位）
软件工程（专业学位）
招生专业 计算机科学与技术硕士
电子信息硕士
科研项目 基本科研业务费：面向信息-物理系统的设计及验证，2012-03-21--2015-03-20，8.0万元，参加
校科技基金：嵌入式系统的可重构体系结构及其设计方法学的研究，2007-12-01--2010-12-30，2.0万元，主持
校科技基金：可重构系统的几个关键问题及其基于SAT的解决方法，2008-01-01--2010-12-31，2.0万元，主持
国家自然科学基金“面上”：RTL电路的混合可满足性求解和模型检验，2007-01-01--2009-12-30，25.0万元，主持
国家自然科学基金“面上”：面向RT级电路的分级模型判别技术，2003-01-01－2005-12-30, 25.0万
教学工作 计算机系统结构
汇编与接口技术
软/硬件协同设计
论文/期刊 共发表或合作发表论文70余篇。
专著/译著 边计年，薛宏熙，苏明，吴为民，数字系统设计自动化（计算机科学与技术学科研究生系列教材），清华大学出版社，2005年7月。
其它：合作翻译3本学术书籍。
专利
软件著作权
获奖与荣誉
社会兼职 中国计算机学会高级会员，计算机辅助设计与图形学专委会委员