个人简介

教学工作 计算机系统结构 汇编与接口技术 软/硬件协同设计 教育背景 学历： 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本学术书籍

学术兼职

中国计算机学会高级会员，计算机辅助设计与图形学专委会委员