顾明，本科毕业于国防科技大学，硕士毕业于中国科学院研究生院。担任国家服务外包人力资源研究院副院长，清华大学软件学院主管科研的副院长。

操作系统、中间件技术、分布式应用系统支撑平台、电子商务等。她是中间件技术、分布式应用系统支撑平台、电子商务等方面技术专业，对建筑、通信、金融等行业也有深刻的理解。她同时也是深受学生欢迎的教师。

1、基于定理证明的可信嵌入式软件建模与验证平台研究”（国家中华人民共和国国家自然科学基金委员会重点项目）。

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

3、“产品设计软件系统的部件级可验证性理论研究” （国家973计划课题）。

4、“面向集团企业的可重构信息集成平台研发及应用” （国家863计划）。

5、“基于个人生物特征的分布式数据安全系统”（中华人民共和国国家发展和改革委员会信箱安全专项）。

1、AutoCAD 2012绘图无师自通

本书是《无师自通》系列丛书之一，全书以通俗易懂的语言、翔实生动的实例，全面介绍了中文版AutoCAD 2012的使用方法和技巧。本书共分14章，内容涵盖了AutoCAD 2012的入门基础知识和绘图的基本知识，使用和管理图层，绘制二维图形，精确绘制图形，编辑图形对象，使用文字与表格，尺寸标注和公差标注，使用块、外部参照和设计中心，绘制3D软件，三维对象的编辑与标注，观察与渲染三维图形以及图形的输入输出等内容。

本书采用图文并茂的方式，使读者能够轻松上手，无师自通。全书双栏紧排，双色印刷，同时配以制作精良的多媒体互动教学光盘，方便读者扩展学习。此外，附赠的DVD光盘中除了包含20小时与图书内容同步的视频教学录像外，还免费赠送4~5套与本书内容相关的多媒体教学演示视频。

本书面向电脑初学者，是广大电脑初级、中级、家庭电脑用户，以及不同年龄阶段电脑爱好者的首选参考书。

2、交互式定理证明与程序开发:Coq归纳构造演算的艺术

作者：Yves Bertot，Pierre Casteran著；顾明等译 编。

Coq是一个用于验证定理的证明是否正确的计算机工具。—在推理和编程方面，Coq的语言都拥有足够强大的能力和表达能力，可以构造简单的项，执行简单的证明，直到建了立完整的理论，学习复杂的算法。本书的主要目：标是从实践的角度来理解Coq系统及其基本理论。即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。这本书是一本很有价值的教材，它为初学者提供基础训练，为有经验的人提供必要的专业知识，帮助学习者开发有实用价值的数学证明。