1970年畢業(yè)于清華大學(xué)自動控制系并留校任教。

1970年畢業(yè)于清華大學(xué)自動控制系。

1982年在清華大學(xué)計算機(jī)科學(xué)與技術(shù)系獲碩士學(xué)位。

1985-1986年曾在美國紐約州立大學(xué)石溪分校從事分布式操作系統(tǒng)研究。

1989-1991年曾在英國南安普敦大學(xué)從事函數(shù)語言并行編譯系統(tǒng)研究。

2019年11月22日，當(dāng)選為中國工程院院士。

?現(xiàn)任職中國計算機(jī)學(xué)會理事長、中國計算機(jī)學(xué)會學(xué)術(shù)工會主任等。

多年來一直從事并行處理與分布計算機(jī)系統(tǒng)、面向AI體系結(jié)構(gòu)以及說明性語言的編譯方法和程序開發(fā)環(huán)境等教學(xué)和科研工作，取得了一系列成果。相繼分別為本科高年級學(xué)生及研究生講授"計算機(jī)系統(tǒng)結(jié)構(gòu)"和"高等計算機(jī)體系結(jié)構(gòu)"專業(yè)課程，以其認(rèn)真負(fù)責(zé)、生動活潑的講課風(fēng)格深受學(xué)生們的好評。

近幾年來參加或負(fù)責(zé)的國家攻關(guān)、863計劃和自然科學(xué)基金項目有"THUDS分布計算機(jī)系統(tǒng)"、"并行圖歸約智能工作站"、"軍用軟件開發(fā)新技術(shù)"、"可擴(kuò)展并行機(jī)群系統(tǒng)"等10余項。研究成果達(dá)到了國際先進(jìn)水平或國內(nèi)領(lǐng)先水平，多次獲得國家教委科技進(jìn)步獎，曾被評為國家高技術(shù)計劃先進(jìn)工作者一等獎。

近幾年來在國內(nèi)外學(xué)術(shù)刊物和學(xué)術(shù)會議上發(fā)表論文80余篇，著作有《計算機(jī)系統(tǒng)結(jié)構(gòu)》和《函數(shù)程序設(shè)計語言-計算模型、編譯技術(shù)和體系結(jié)構(gòu)》等。

1．"可擴(kuò)展并行機(jī)群系統(tǒng)"，863項目，國家教委科技進(jìn)步二等獎，1996年。

2．"面向?qū)ο笳Z言的并行編譯技術(shù)"，863項目，國家教委科技進(jìn)步二等獎，1995 年。

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

4．"軍用軟件開發(fā)新技術(shù)"，國防預(yù)研項目，國家教委科技進(jìn)步二等獎，1991年。

5．"高性能可擴(kuò)展機(jī)群結(jié)構(gòu)并行計算機(jī)系統(tǒng)"，國防預(yù)研項目，電子工業(yè)部科技進(jìn)步三等獎，1996年。

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

7．"計算機(jī)系統(tǒng)結(jié)構(gòu)"，電子工業(yè)部優(yōu)秀教材二等獎，1996年。

8．國家高技術(shù)計劃先進(jìn)工作者一等獎，1996年。

2019年11月22日，當(dāng)選為中國工程院院士。

著作與譯著：

1．王鼎興，沈美明，鄭緯民，溫冬嬋譯，高等計算機(jī)系統(tǒng)結(jié)構(gòu)，清華大學(xué)出版社，1995年。

2．鄭緯民等，計算機(jī)系統(tǒng)結(jié)構(gòu)，清華大學(xué)出版社，1992年。

3．鄭緯民等，函數(shù)程序設(shè)計語言-計算模型、編譯技術(shù)和體系結(jié)構(gòu)，清華大學(xué)出版社，1996年。

部分論文：

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．鄭緯民，林立軍，"一種基于集合求解的嚴(yán)格性分析方法"，《軟件學(xué)報》，1996年10月。

3．Zheng Weimin, Tian Xinmin, "Communication and Waiting Latency Dominated Heurstitic Scheduling on Message Passing Architecture", 《軟件學(xué)報》(英文版)， 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．熊建新，王鼎興，鄭緯民，沈美明，"基于事件模型的可視化并行調(diào)試技術(shù)"，《軟件學(xué)報》，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.