个人简介
教育背景
1984-1987，中国科学院研究生院，计算机软件专业，硕士
1980-1984，国防科技大学计算机系，计算机软件专业，学士
工作履历
1987-1995，中科院沈阳计算所
1995-2001，清华大学计算机系
2001 至今，清华大学软件学院
社会兼职
国家企业信息化应用支撑软件工程技术研究中心副主任
教育部信息系统安全重点实验室主任
国家服务外包人力资源研究院常务副院长
国家住建部绿色建造专委会委员
研究概况
BIM软件行业标准化及公共服务平台，工信部“2019年工业互联网创新发展工程”专项，2019-2021
轨道交通装备嵌入式软件研发与批量应用，核高基专项，2016-2019
基于多物理信号的高速列车系统级健康分析仪器，NSFC国家重大科研仪器专项，2015-2019
面向铁路工程建设全生命周期的BIM关键应用技术研究，铁道部科技研究开发计划，2014-2016
可信嵌入式软件系统试验环境与示范应用，NSFC重大集成项目，2013-2016
制定服务外包人才标准及认证体系，国家商务部，2013
城镇住宅建设BIM技术研究及其产业化应用示范，十二五支撑计划，2012-2015
产品设计软件系统的部件级可验证性理论研究，973课题，2010-2014
奖励与荣誉
服务国家重大战略需求，创建现代服务业创新创业人才培养标准与体系，北京市高校教学成果奖一等奖，2013
研究领域
可信软件系统、信息模型构造、数字化标准、数字化建筑
近期论文
查看导师最新文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
主持编制了国家标准《面向工程领域的共享信息模型》(GB/T 36456-2018) 标准系列，2019年1月1日执行
主持编写了深圳市建筑工务署《政府公共工程BIM应用实施纲要》，2015
主持编制了国家商务部《服务外包人才标准及认证体系》，2013.12
主持编著了《中国建筑信息模型标准框架研究》，中国建筑工业出版社，2011.11
主持翻译了《交互式定理证明与程序开发：Coq归纳构造演算的艺术》，清华大学出版社，2010
京公网安备 11010802027423号