鄭緯民

鄭緯民

鄭緯民,教授、博士生導師。1946年生,浙江寧波人。現任中國計算機學會理事長、計算機體系結構專業委員會副主任,清華大學計算機系教授、博士生導師,高性能計算研究所所長。

基本信息

人物經歷

鄭緯民 鄭緯民

1970年畢業於清華大學自動控制系並留校任教。1982年在清華大學計算機科學與技術 獲碩士學位。現任中國計算機學會理事長、計算機體系結構專業委員會副主任,清華大學計算機系教授、博士生導師,高性能計算研究所所長。

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

主要貢獻

近幾年來參加或負責的國家攻關、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.2016年10月21日,獲得2016年何梁何利基金獎科學與技術進步獎。

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

相關詞條

相關搜尋

熱門詞條

聯絡我們