吳為民

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月。