长期从事计算机科学理论的研究，在软件形式化理论方面做出了系统的、创造性的工作，取得了具有国际先进水平的研究成果。是我国分布式程序设计理论研究的先驱者和开拓者之一，学术造诣深厚，有多项创造性的成果。在程序设计理论，特别是“分布式程序设计理论”的研究方面有卓越成绩，获1987年国家自然科学二等奖。近年来致力于时段演算(DurationCalculus)的研究，取得了丰富的成果，已经成为实时系统形式化领域中国际公认的新途径。