王捍貧

王捍貧

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

已在包括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計畫”離散數學課程虛擬教研室入選第二批虛擬教研室建設試點名單。

相關詞條

熱門詞條

聯絡我們