王捍贫

王捍贫,男,1964年出生,中国人工智能学会常务理事。他曾任北京大学教授,现任广州大学计算机科学与网络工程学院院长。他的主要研究方向为程序理论和计算复杂性,包括程序逻辑,程序语义,分布式系统(特别是云存储系统)的描述与验证,计数问题类的二分性和可近似性。

人物经历

1985年毕业于安徽师范大学数学系获学士,留校数学系任教。

1987年9月考取北京师范大学数学系研究生,先后于1990年、1993年获北京师范大学硕士、博士学位。

1993年9月进入北京大学工作,曾任北京大学信息学院计算机系副主任,软件研究所副所长,理论实验室主任。

2018年调入广州大学工作,现任广州大学计算机科学网络工程学院院长,教授,博士生导师。

参考资料

友情链接