吴为民（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月。
发布者：知识学院，火焰兔收录并登载此文出于传递更多信息之目的，并不意味着赞同其观点或证实其描述。文章内容仅供参考，不做权威认证，如若验证其真实性，请咨询相关权威专业人士。https://huoyantu.com/9510.html
版权声明：
国家知识产权局《要求删除或断开链接侵权网络内容的通知》填写说明：http://www.ncac.gov.cn/chinacopyright/contents/12227/342400.shtml
请按照此通知格式填写（或提供具有法律效应且证据链完整的证明）发至本站的邮箱 huoyantu@qq.com
（收到核实后 24小时内绝对处理）
