北京交通大學(xué)

基本信息

吳為民，博士、副研究員

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

通訊地址：北京交通大學(xué)計(jì)算機(jī)與信息技術(shù)學(xué)院郵編：100044

教育背景

學(xué)歷：

1985,9-1989,7 吉林大學(xué)計(jì)算機(jī)系系統(tǒng)結(jié)構(gòu)專業(yè)本科。

1989,9-1992,3 哈爾濱工程大學(xué)計(jì)算機(jī)系計(jì)算機(jī)應(yīng)用專業(yè)碩士。

1992,4-1995,10 哈爾濱工業(yè)大學(xué)計(jì)算機(jī)系計(jì)算機(jī)應(yīng)用專業(yè)博士。

研究經(jīng)歷：

1996,4-1998,4 浙江大學(xué)機(jī)械工程與自動(dòng)化系 博士后。

1998,4-2000,4 清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系 博士后。

2000,4-2007,4 清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系 副研究員。

2007,4至今 北京交通大學(xué)計(jì)算機(jī)與信息技術(shù)學(xué)院 副研究員。

工作經(jīng)歷

研究方向

高性能計(jì)算

計(jì)算機(jī)技術(shù)(專業(yè)學(xué)位)

軟件工程(專業(yè)學(xué)位)

招生專業(yè)

計(jì)算機(jī)科學(xué)與技術(shù)碩士

電子信息碩士

科研項(xiàng)目

基本科研業(yè)務(wù)費(fèi)：面向信息-物理系統(tǒng)的設(shè)計(jì)及驗(yàn)證，2012-03-21--2015-03-20，8.0萬元，參加

�？萍蓟�金：嵌入式系統(tǒng)的可重構(gòu)體系結(jié)構(gòu)及其設(shè)計(jì)方法學(xué)的研究，2007-12-01--2010-12-30，2.0萬元，主持

�？萍蓟�金：可重構(gòu)系統(tǒng)的幾個(gè)關(guān)鍵問題及其基于SAT的解決方法，2008-01-01--2010-12-31，2.0萬元，主持

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

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

教學(xué)工作

計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)

匯編與接口技術(shù)

軟/硬件協(xié)同設(shè)計(jì)

論文/期刊

共發(fā)表或合作發(fā)表論文70余篇。

專著/譯著

邊計(jì)年，薛宏熙，蘇明，吳為民，數(shù)字系統(tǒng)設(shè)計(jì)自動(dòng)化(計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科研究生系列教材)，清華大學(xué)出版社，2005年7月。

其它：合作翻譯3本學(xué)術(shù)書籍。

社會(huì)兼職

中國計(jì)算機(jī)學(xué)會(huì)高級(jí)會(huì)員，計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)專委會(huì)委員