个人简介

1969年毕业于北京大学数学系，1984年在中科院获得博士学位，1993年被国务院批准为博士生导师。2001年11月调入首都师范大学数学系，现为北京市特聘教授、973项目“数学机械化和自动推理平台”专家组成员。2009年2月15日上午，吴可教授从河南大学副校长赵国祥手中接过聘书，正式受聘为河南大学数学与信息科学学院院长。