吴为民
职 称： 副研究员
学 历： 博士
办公电话： 51683924
办公邮箱： wmwu@bjtu.edu.cn
毕业学校： 哈尔滨工业大学
个人简介：
吴为民：男，1966年8月生，博士，副教授。
研究方向：数字系统设计自动化，嵌入式系统，形式验证。
Email：wmwu@bjtu.edu.cn
电话：51688536
目前的主要研究兴趣：数字系统的设计方法学。包括：
1. 嵌入式系统的软/硬件协同设计技术，
2. 系统芯片（SOC)的设计、验证、及测试技术。
3. VLSI的划分、布局、布线、及综合技术。
4. 形式验证技术，包括可满足性（SAT）求解和基于SAT的模型检验技术。
5. 与以上技术相关联的图论算法、搜索算法、及优化算法。
学历：
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至今 北京交通大学计算机系副教授。
研究经历：
2000年以来主持的项目有（按先后顺序）：
(a) 博士后基金项目：时延和功耗双重驱动的标准单元模式集成电路布局设计。
(b) 骨干人才支持计划项目（清华大学）：性能驱动甚大规模的布局技术。
(c) 985项目（清华大学）：成品率驱动的掩膜自动矫正和验证技术的研究。
(d) 国家自然科学基金项目：面向RT级电路的分级模型判别技术。
(e) 国家863项目：网络处理器芯片设计与原型，与清华大学网络所合作。
(f) 国家自然科学基金项目：RTL电路的混合可满足性求解和模型检验。
另外，作为研究人员参加了: 973项目(超大规模集成电路计算机辅助设计算法与高性能软件)，985重点项目(清华大学)：软/硬件协同设计自动化的理论与技术，863项目：SOC软/硬件协同设计技术研究，国家自然科学基金重大研究计划:多目标自适应粒度的系统划分与接口综合算法研究，国家自然科学基金重点项目：SOC设计的关键技术研究及传导语音SOC实现，973项目：高效率的处理芯片设计、验证与测试。
发表论文：共合作发表论文70余篇。所涉及的研究内容包括数字系统的物理设计、综合技术、SOC软硬件协同设计、形式验证等。
合作出版：边计年，薛宏熙，苏明，吴为民，数字系统设计自动化（计算机科学与技术学科研究生系列教材），清华大学出版社，2005年7月。