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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

著作與譯著：

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

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

3．鄭緯民等，函數(shù)程序設(shè)計(jì)語(yǔ)言-計(jì)算模型、編譯技術(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é)報(bào)》，1996年10月。

3．Zheng Weimin, Tian Xinmin, "Communication and Waiting Latency Dominated Heurstitic Scheduling on Message Passing Architecture", 《軟件學(xué)報(bào)》(英文版)， 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é)報(bào)》，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.