開啟主選單

求真百科

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