吴为民
博士、副研究员
基本信息
| 办公电话：010-51688536 | 电子邮件： 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本学术书籍。