計算機科學與軟件工程專家。湖南長沙人。1950年畢業於清華大學哲學系，1952年同系研究生畢業。中國科學院軟件研究所研究員。60年代中從事自動機理論研究，證明計算機轉移命令的許多結構性性質，如轉移命令可用循環代替，它比Böhm-Jacopini定理早一年。70年代中從事結構程序設計與結構化語言的研究，推動了國內這方面工作的開展。80年代初開始從事時序邏輯語言XYZ/E及以它為基礎的軟件工程工具與環境系統XYZ系統的研究。1991當選為中國科學院院士。2008年7月21日3時31分在北京逝世，享年83歲。
