个人简介
清华大学计算机系博士，法国国家信息与自动化研究院（INRIA）博士后。多年来一直从事领域建模和可信软件相关研究工作。近年来致力于将可信研究成果与人工智能、数据学科相结合，应用于工程建设等典型行业的领域知识建模与验证工作；研发了具有自主知识产权的标准规范智能审核工具BIMChecker，应用于湖南、广州等省级BIM审查平台，服务于中国尊、万达广场等典型工程项目，为行业数字化、智能化转型提供科技支撑。
讲授课程
《软件工程前沿技术》
《软件文化概论》
学生培养
赵 睿：面向消防运维的语义模型生成和检查方法研究 (2019.6)
李 旭：面向消防规范检查的图纸识别及语义生成研究 (2019.6)
李敬涛：面向消防规范检查的建筑图纸语义模型生成方法研究 (2018.6)
张 睿：面向模型检查的建筑规范描述语言设计与实现 (2018.6)
赵文琦：面向BIM模型的高效语义检查方法研究 (2017.6)
李鲲鹏：基于聚类分析的建筑信息模型异常元素检查研究 (2017.6)
顾剑桥：语义与计算结合的BIM 检查方法研究 (2017.6)
研究兴趣
•领域建模和分析
•工程规范数字化及审查
•人工智能
•数据和知识工程
科研项目
企业应用
“广州BIM审查平台自动审查服务”, 北京构力科技有限公司, 2020.3 ~ 2021.12
目标：为广州BIM审查平台，提供多专业支持的智能检查引擎，以及“消防”专业规范的规则库编制和智能审查。
“消防BIM审查指标梳理及自动审查”, 北京构力科技有限公司, 2019.6 ~ 2021.2
阶段成果：为湖南省BIM审查平台（国内首家），提供智能检查引擎支撑，实现“消防”规范的规则库编制和智能审查。
“消防设计图纸审查规则库开发”， 苏州热工研究院有限公司， 2018.7 ~ 2019.12
阶段成果：构建了《建筑设计防火规范》（GB50016-2014）165个强条的规则库，面向“厂房”类消防设计CAD图纸，基于工具发现了某配电室门的防火等级（丙级）太低等问题。
“标准数字化存储模块研发“，大连万达商业管理集团股份有限公司, 2018.12 ~ 2019.3
阶段成果：针对《万达建筑信息模型设计应用标准》，实现了面向EXCEL表格的规则库自动生成工具，构建了面向配色、建模、族库参数的4大专业规则库。针对《万达商业项目施工图审查规范》，完成了200余条自然语言文本条款的规则库编制，支持Revit模型上的自动检查
科技部重点研发计划
“制造企业数据空间构建方法与技术”项目，课题5“典型行业方案解决与应用”， 2019.5 ~ 2023.04
联合承担单位：广船国际有限公司、西安交大 实现制造、管理、服务数据对设计业务的跨域集成应用；实现设计管理、生产管理、供应链管理的跨域集成应用；实现企业管控、设备物联、环境监测数据的跨域集成应用
清华大学本科生SRT项目
“基于自然语言处理的建筑消防设计说明文本检查”， 2019.3 ~ 2019.12
针对收集的多个现实建筑项目“消防设计说明”（word文档，约30页），研究并实验面向消防领域的分词、语义查询、相似性和关联性分析等内容，提供智能的审查解决方案
