王捍貧

男，博士，教授，博士生導師，廣州大學計算機科學與網路工程學院院長。主要研究方向為程式理論和計算複雜性，包括程式邏輯，程式語義，分散式系統（特別是雲存儲系統）的描述與驗證，計數問題類的二分性和可近似性。

已在包括ICALP, JPDC, TCS, SIAM Journal on Computers and Information and Computation、中國科學等國內外重要學術雜誌上發表論文約90篇，著作或譯著7部。主持自然科學基金5項，參加自然科學基金4項，主持或參加國家重點基礎研究發展規劃（973計畫）項目子項目3項, 主持863計畫一項，主持和參加國家重點研發計畫課題各一項。獲日本大川研究基金研究助成獎，教育部高等學校科學技術獎勵自然科學獎一等獎一項（排名第二）。

基本介紹

• 中文名：王捍貧
• 畢業院校：北京師範大學
• 學位/學歷：博士

人物經歷

1993年7月畢業於北京師範大學獲基礎數學博士學位，之後進入北京大學計算機科學技術系（今信息科學技術學院的一部分）任教

1997年1月—9月及1998年5月—9月訪問聯合國大學國際軟體技術研究所

2001年9月—2002年6月訪問瑞典Lund大學計算機系

2002年7月於北京大學晉升為教授，曾任北京大學信息學院計算機系副主任，軟體研究所副所長，理論實驗室主任

2018年進入廣州大學計算機科學與網路工程學院。

教研成果

2022年5月19日，王捍貧帶頭的“101計畫”離散數學課程虛擬教研室入選第二批虛擬教研室建設試點名單。