吴为民
近期热点
资料介绍
个人简历
教学工作计算机系统结构 汇编与接口技术 软/硬件协同设计教育背景学历: 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近期论文
论文/期刊共发表或合作发表论文70余篇。 专著/译著边计年,薛宏熙,苏明,吴为民,数字系统设计自动化(计算机科学与技术学科研究生系列教材),清华大学出版社,2005年7月。 其它:合作翻译3本学术书籍中国计算机学会高级会员,计算机辅助设计与图形学专委会委员标签: 北京交通大学 计算机与信息技术学院
相关热点