教授、博士导师 现任我院计算机科学理论研究所所长，中国计算机学会理论计算机科学专业委员会常务委员，美国数学会“数学评论”评论员，1981、1982年在美国康乃尔大学数学系作为访问学者进修递归论。1982年及1992年在美国康乃尔大学数学系及洛克菲勒大学数理逻辑室作为访问科学家、咨询人与美方学者王浩、Nerode、鲍亦兴教授进行合作研究。主要学术方向为可计算性与计算复杂性理论及应用，对数学模型方面的某些问题也有研究，对于组合优化中的NP难问题-装填(Packing)问题的求解有很深的研究并取得成果。主要学术成就为：在国际上首先提出处理NP难度问题的拟物方法，特别具体地研究了装填(Packing)问题，覆盖(Covering)问题，以及调度(Sched-Uling)问题，得出了高效率的新算法，为无解析表达式的曲线的求长提出了低复杂度、高精度的测量计算公式；在Nerode教授的指导下进行合作研究，为递归分析的现代化奠定了理论基础，在NP问题研究的早期解决了几个开(Open)问题；为方格裁切(Square packing)问题求解提出了高效率的非完整实用算法。共完成并正式发表论文50余篇，1996年参加第三届SAT问题快速算法国际竞赛获得第一名。享受国家政府特殊津贴。