吴为民


　　职 称： 副研究员

　　学 历： 博士

　　办公电话： 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月。