基本信息

吳為民，博士、副研究員

辦公電話：010-51688536電子郵件： wmwu@bjtu.edu.cn

通訊地址：北京交通大學計算機與信息技術學院郵編：100044

教育背景

學歷：

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至今 北京交通大學計算機與信息技術學院 副研究員。

工作經歷

研究方向

高性能計算

計算機技術(專業學位)

軟件工程(專業學位)

招生專業

計算機科學與技術碩士

電子信息碩士

科研項目

基本科研業務費：面向信息-物理系統的設計及驗證，2012-03-21--2015-03-20，8.0萬元，參加

校科技基金：嵌入式系統的可重構體系結構及其設計方法學的研究，2007-12-01--2010-12-30，2.0萬元，主持

校科技基金：可重構系統的幾個關鍵問題及其基于SAT的解決方法，2008-01-01--2010-12-31，2.0萬元，主持

國家自然科學基金“面上”：RTL電路的混合可滿足性求解和模型檢驗，2007-01-01--2009-12-30，25.0萬元，主持

國家自然科學基金“面上”：面向RT級電路的分級模型判別技術，2003-01-01-2005-12-30, 25.0萬

教學工作

計算機系統結構

匯編與接口技術

軟/硬件協同設計

論文/期刊

共發表或合作發表論文70余篇。

專著/譯著

邊計年，薛宏熙，蘇明，吳為民，數字系統設計自動化(計算機科學與技術學科研究生系列教材)，清華大學出版社，2005年7月。

其它：合作翻譯3本學術書籍。

社會兼職

中國計算機學會高級會員，計算機輔助設計與圖形學專委會委員