主要研究興趣：數(shù)字系統(tǒng)的設(shè)計(jì)方法學(xué)。包括：

1. 嵌入式系統(tǒng)的軟/硬件協(xié)同設(shè)計(jì)技術(shù)，

2. 系統(tǒng)芯片（SOC)的設(shè)計(jì)、驗(yàn)證、及測(cè)試技術(shù)。

3. VLSI的劃分、布局、布線、及綜合技術(shù)。

4. 形式驗(yàn)證技術(shù)，包括可滿足性（SAT）求解和基于SAT的模型檢驗(yàn)技術(shù)。

5. 與以上技術(shù)相關(guān)聯(lián)的圖論算法、搜索算法、及優(yōu)化算法。

學(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è)博士。

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ī)系副教授。

2000年以來(lái)主持的項(xiàng)目有（按先后順序）：

(a) 博士后基金項(xiàng)目：時(shí)延和功耗雙重驅(qū)動(dòng)的標(biāo)準(zhǔn)單元模式集成電路布局設(shè)計(jì)。

(b) 骨干人才支持計(jì)劃項(xiàng)目（清華大學(xué)）：性能驅(qū)動(dòng)甚大規(guī)模的布局技術(shù)。

(c) 985項(xiàng)目（清華大學(xué)）：成品率驅(qū)動(dòng)的掩膜自動(dòng)矯正和驗(yàn)證技術(shù)的研究。

(d) 國(guó)家自然科學(xué)基金項(xiàng)目：面向RT級(jí)電路的分級(jí)模型判別技術(shù)。

(e) 國(guó)家863項(xiàng)目：網(wǎng)絡(luò)處理器芯片設(shè)計(jì)與原型，與清華大學(xué)網(wǎng)絡(luò)所合作。

(f) 國(guó)家自然科學(xué)基金項(xiàng)目：RTL電路的混合可滿足性求解和模型檢驗(yàn)。

另外，作為研究人員參加了: 973項(xiàng)目(超大規(guī)模集成電路計(jì)算機(jī)輔助設(shè)計(jì)算法與高性能軟件)，985重點(diǎn)項(xiàng)目(清華大學(xué))：軟/硬件協(xié)同設(shè)計(jì)自動(dòng)化的理論與技術(shù)，863項(xiàng)目：SOC軟/硬件協(xié)同設(shè)計(jì)技術(shù)研究，國(guó)家自然科學(xué)基金重大研究計(jì)劃:多目標(biāo)自適應(yīng)粒度的系統(tǒng)劃分與接口綜合算法研究，國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目：SOC設(shè)計(jì)的關(guān)鍵技術(shù)研究及傳導(dǎo)語(yǔ)音SOC實(shí)現(xiàn)，973項(xiàng)目：高效率的處理芯片設(shè)計(jì)、驗(yàn)證與測(cè)試。

共合作發(fā)表論文70余篇。所涉及的研究?jī)?nèi)容包括數(shù)字系統(tǒng)的物理設(shè)計(jì)、綜合技術(shù)、SOC軟硬件協(xié)同設(shè)計(jì)、形式驗(yàn)證等。

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