鄭緯民

鄭緯民，1946年3月生，清華大學計算機系教授。1970年畢業於清華大學並留校任教，1982年獲碩士學位。曾任中國計算機學會第十屆理事長。長期從事并行/分佈處理、大規模數據存儲系統領域的科研與教學工作。

多年來一直從事并行處理與分佈計算機系統、面向AI體系結構以及說明性語言的編譯方法和程序開發環境等教學和科研工作，取得了一系列成果。相繼分別為本科高年級學生及研究生講授"計算機系統結構"和"高等計算機體系結構"專業課程，以其認真負責、生動活潑的講課風格深受學生們的好評。

2019年11月，當選為中國工程院院士。

2021年3月，出任海致科技首席科學家。。

近幾年來參加或負責的國家攻關、863計劃和自然科學基金項目有"THUDS分佈計算機系統"、"并行圖歸約智能工作站"、"軍用軟體開發新技術"、"可擴展并行機群系統"等10餘項。

近幾年來在國內外學術刊物和學術會議上發表論文80餘篇，著作有《計算機系統結構》和《函數程序設計語言-計算模型、編譯技術和體系結構》等。

學術論文：

1．Zheng Weimin, Shen Jun, "Network Performance Measurement and Improvement for Workstation Clusters", Second Sino-German Workshop on Advanced Parallel Processing Technologies, 1997.9, Koblenz, Germany。

2．鄭緯民，林立軍，"一種基於集合求解的嚴格性分析方法"，《軟體學報》，1996年10月。

3．Zheng Weimin, Tian Xinmin, "Communication and Waiting Latency Dominated Heurstitic Scheduling on Message Passing Architecture", 《軟體學報》(英文版)， vol. 2, no. 1, 1995年。

4．Xiong Jianxin, Wang Dingxing, Shen Meiming, Zheng Weimin, "On-line Debugging of Parallel Programs", International Conference on Parallel Algorithm (ICPA'95), Oct. 1995, Wuhan.

5．熊建新，王鼎興，鄭緯民，沈美明，"基於事件模型的可視化并行調試技術"，《軟體學報》，vol. 7, no. 5, pp.292-299 ,1996年5月。

6．Xiong Jianxin, Wang Dingxing, Zheng Weimin, Shen Meiming, "BUSTER: An Integrated Debugger for PVM", IEEE Second International Conference on Algorithms & Architectures for Parallel Processing (ICA3PP'96), June 11-13, 1996, Singapore.

7．Xiong Jianxin, Wang Dingxing, Zheng Weimin, Shen Meiming, "Parallel Debugging on Workstation Cluster", Chinese Journal of Electronics, vol.5 , no.1 , pp.7-13, July 1996。

8．Wang Dingxing, Zheng Weimin, Shen Meiming, Tian Xinmin, Research & Development of Parallel Computing Systems in Tsinghua: A Survey, HPC'94,Singapore, 1994, pp.208~218。

9．李程、王鼎興、鄭緯民，"The P&M Compiler for Supporting Multithreading on Distributed-memory Multicomputers",IASTED Inter.conf. on Parallel and Distriouted Systems(Euro-PPS'97),Barcelona,Spain,June-97.

著作與譯著：

1．王鼎興，沈美明，鄭緯民，溫冬嬋譯，高等計算機系統結構，清華大學出版社，1995年。

2．鄭緯民等，計算機系統結構，清華大學出版社，1992年。

3．鄭緯民等，函數程序設計語言-計算模型、編譯技術和體系結構，清華大學出版社，1996年。

1．"可擴展并行機群系統"，863項目，國家教委科技進步二等獎，1996年。

2．"面向對象語言的并行編譯技術"，863項目，國家教委科技進步二等獎，1995 年。

3．"并行圖歸約智能工作站"，863項目，國家教委科技進步二等獎，1993年。

4．"軍用軟體開發新技術"，國防預研項目，國家教委科技進步二等獎，1991年。

5．"高性能可擴展機群結構并行計算機系統"，國防預研項目，電子工業部科技進步三等獎，1996年。

6．國防科工委頒發的光華基金二等獎，1992年。

7．"計算機系統結構"，電子工業部優秀教材二等獎，1996年。

8．國家高技術計劃先進工作者一等獎，1996年。

9.2008年被評為國家級精品課程；已編寫和出版計算機系統結構教材和專著10本。

10.2016年10月21日，獲得2016年何梁何利基金獎科學與技術進步獎。

11.2016年獲ACM戈登.貝爾獎。

研究成果達到了國際先進水平或國內領先水平，多次獲得國家教委科技進步獎，曾被評為國家高技術計劃先進工作者一等獎。

鄭緯民十分重視育人工作，他身體力行，以自身的正直、激情和奮鬥精神感染著身邊的同事，特別是高性能研究所的同學們。他特別關心和愛護同學們，經常幫助同學解決生活和學習中的各種困難，在同學們中享有很高的威信 。（清華大學計算機系高性能所評）