程

勇，武汉大学哲学学院教授, 博士生导师。 新加坡国立大学数学系数理逻辑方向数学博士(2012)，德国明斯特大学数学与计算机科学学院数理逻辑与基础研究研究所博士后(2013-2014)。2015年6月作为优秀青年学术骨干引进人才入职武汉大学哲学学院。 先后入选武汉大学珞珈青年学者，湖北省楚天学者计划楚天学子，第四批国家万人计划之青年拔尖人才支持计划（哲学社会科学、人文艺术类）。 国际符号逻辑协会(ASL)Membership Committee成员，国际哥德尔协会(KGS)会员，国际证明协会(PTS)会员。

相关研究成果发表在符号逻辑SCI期刊上(如Annals of Pure and Applied Logic，Archive of Mathematical Logic, Bulletin of Symbolic Logic, Journal of Symbolic Logic, Journal of Logic and Computation, Logic Journal of the IGPL, Mathematical Logic Quarterly, Notre Dame Journal of Formal Logic, Philosophia Mathematica)。 在Springer丛书“SpringerBriefs in Mathematics”中出版学术著作一部(Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle)。

先后主持教育部人文社会科学研究规划基金项目“哥德尔不完全性定理研究”，国家社科基金一般项目“不完全性的限度及其内涵性问题研究”。

2014年获得哥德尔研究奖学金银质奖章(Silver Medal of the 2014 Kurt Gödel Research Prize Fellowships), 授奖单位：奥地利哥德尔协会。

已讲授如下本科课程：逻辑学导论，一阶逻辑，数理逻辑，逻辑专题：集合论。

已讲授如下研究生课程：公理集合论，模型论导论，哥德尔不完全性定理专题，数理逻辑专题，现代逻辑基础，可计算性与不完全性，证明论

弘毅学堂2018级人文试验班哲学方向学业导师，曾获武汉大学2016-2017学年专业理论课程类本科优秀教学业绩奖。

详见英文页面