主要研究智能计算与优化、软件理解与缺陷分析、量子编程系统方向。CCF系统软件专委常务委员、教育专委常务委员，ACM中国操作系统分会秘书长，教育部高等学校计算机类教学指导委员会计算机系统专家委员会委员。