研究所向，与长期积累

北京大学计算机学院教授，长期研究程序逻辑、程序语义以及计算机系统的描述与验证。主持多项国家自然科学基金与国家高技术研究项目，并持续推进计算理论、复杂性与系统建模的交叉研究。