博士生导师，计算机科学系系主任，从事《计算机软件和理论》方向的教学和《分步式算法和分析》、《人工智能》等研究工作。公开发表学术论文100余篇，译著2种（6卷），专著3部。曾获四机部科技进步一等奖，国防科工委科技进步二等奖。