计算机科学基础理论与形式化方法

研究计算机科学的基础理论，包括新型计算模型、算法复杂性等；研究以并发、实时、混成、移动、概率等为主要行为特征的复杂计算系统的形式化方法，包括形式建模、形式规约和形式验证等。