-
王捍貧
鎖定
男，博士，教授，博士生導師，廣州大學計算機科學與網絡工程學院院長。主要研究方向為程序理論和計算複雜性，包括程序邏輯，程序語義，分佈式系統（特別是雲存儲系統）的描述與驗證，計數問題類的二分性和可近似性。
已在包括ICALP, JPDC, TCS, SIAM Journal on Computers and Information and Computation、中國科學等國內外重要學術雜誌上發表論文約90篇，著作或譯著7部。主持自然科學基金5項，參加自然科學基金4項，主持或參加國家重點基礎研究發展規劃（973計劃）項目子項目3項, 主持863計劃一項，主持和參加國家重點研發計劃課題各一項。獲日本大川研究基金研究助成獎，教育部高等學校科學技術獎勵自然科學獎一等獎一項（排名第二）。
[1]
- 中文名
- 王捍貧
- 畢業院校
- 北京師範大學
- 學位/學歷
- 博士
王捍貧人物經歷
1993年7月畢業於北京師範大學獲基礎數學博士學位，之後進入北京大學計算機科學技術系（今信息科學技術學院的一部分）任教
1997年1月—9月及1998年5月—9月訪問聯合國大學國際軟件技術研究所
2001年9月—2002年6月訪問瑞典Lund大學計算機系
2002年7月於北京大學晉升為教授，曾任北京大學信息學院計算機系副主任，軟件研究所副所長，理論實驗室主任
王捍貧教研成果
- 參考資料
-
- 1. 王捍貧 ．廣州大學計算機科學與網絡工程學院．2019-07-26[引用日期2020-04-07]
- 2. 教育部辦公廳關於公佈第二批虛擬教研室建設試點名單的通知 - 中華人民共和國教育部政府門户網站 ．中華人民共和國教育部[引用日期2022-06-12]
