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