吴为民（1966年8月—），博士，北京交通大学计算机系副教授。其学术研究方向是数字系统设计自动化，嵌入式系统，形式验证。另有同名人士，吴为民是现任浙江省苍南电视台台长。2014年3月30日，温州苍南县领导吴为民“收礼”视频曝光，纪委成立调查组。 北京交通大学副教授主要研究 主要研究兴趣：数字系统的设计方法学。包括： 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月。 |
