教授、博士导师 曾任华中科技大学计算机科学与理论研究所所长，中国计算机学会理论计算机科学专业委员会常务委员，美国数学会“数学评论”评论员，1981、1982年在美国康乃尔大学数学系作为访问学者进修递归论。