中國電腦軟體科學傢。生於上海市。1958年畢業於北京大學數學系。1967年中國科學院計算技術研究所研究生畢業。中國科學院軟體研究所研究員、博士生導師。1993年當選中國科學院院士。1997～2000年，擔任聯合國大學國際軟體技術研究所所長。長期從事電腦科學理論的研究，在軟體形式化理論方面取得瞭具有國際先進水準的研究成果。在程式設計理論，特別是分散式程式設計理論的研究方面成績卓越。對時段演算的研究成果，已經成為即時系統形式化領域國際公認的新方法。19877年獲國傢自然科學獎二等獎。