吳為民，男，1966年8月生，博士，副教授。研究方向：數字系統設計自動化，嵌入式系統，形式驗證。主要研究興趣：數字系統的設計方法學。包括：1. 嵌入式系統的軟/硬體協同設計技術，2. 系統晶片（SOC)的設計、驗證、及測試技術。3. VLSI的劃分、布局、布線、及綜合技術。4. 形式驗證技術，包括可滿足性（SAT）求解和基於SAT的模型檢驗技術。5. 與以上技術相關聯的圖論算法、搜尋算法、及最佳化算法。
基本介紹
- 中文名：吳為民
- 國籍：中國
- 出生日期：1966年8月生
- 職業：北京交通大學計算機系副教授
學歷,研究經歷,相關介紹,
學歷
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軟硬體協同設計、形式驗證等。
