您所在的位置:首页 > 师资队伍 > 教师详细信息返  回

姓名:顾明

职务:教授、博导

联系方式:010-62771422

Email: guming@tsinghua.edu.cn

教育背景

本科:国防科技大学计算机系,计算机软件专业

硕士:中国科学院研究生院,计算机软件专业

工作履历

中科院沈阳计算所

清华大学计算机系

清华大学软件学院 软件理论与系统所

研究领域

操作系统、中间件技术、分布式应用系统支撑平台、电子商务等

研究概况

基于定理证明的可信嵌入式软件建模与验证平台研究”(国家自然科学基金委重点项目)

“嵌入式系统仿真与验证平台开发”(国家自然科学基金国际合作项目)

“产品设计软件系统的部件级可验证性理论研究” (国家973计划课题)

“面向集团企业的可重构信息集成平台研发及应用” (国家863计划)

“基于个人生物特征的分布式数据安全系统”(国家发改委信箱安全专项)