顧明，本科畢業于國防科技大學，碩士畢業于中國科學院研究生院。擔任國家服務外包人力資源研究院副院長，清華大學軟件學院主管科研的副院長。
研究方向
操作系統、中間件技術、分布式應用系統支撐平臺、電子商務等。她是中間件技術、分布式應用系統支撐平臺、電子商務等方面技術專業，對建筑、通信、金融等行業也有深刻的理解。她同時也是深受學生歡迎的教師。
主要貢獻
研究概況
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系統及其基本理論。即歸納構造演算。這本書給出了大量的例子，所有這些例子都可以在計算機上執行。這本書是一本很有價值的教材，它為初學者提供基礎訓練，為有經驗的人提供必要的專業知識，幫助學習者開發有實用價值的數學證明。
主要論文
參考資料 >
顧明.中國知網.2024-12-14