中國電腦科學和電腦軟體學專傢。江蘇南京人。1948年畢業於中央大學（今南京大學）。1957～1959年在蘇聯莫斯科大學進修。1981年任南京大學電腦系教授、博士生導師，培養出中國第一位電腦軟體學博士。曾任南京大學電腦軟體研究所所長、電腦軟體新技術國傢重點實驗室主任，國務院學位委員會電腦學科評議組召集人，國務院電子振興領導小組顧問，中國電腦學會副理事長，清華大學、吉林大學兼職教授等。現任南京大學電腦軟體新技術國傢重點實驗室名譽主任。主要研究究高階語言、新型程序設計與軟件自動化。代表性成果有：研制出中國第一個ALGOL系統、系統程序設計語言XCY、多種規約語言；參加制定ALGOL、COBOL國傢標準；率先在中國研制出數據驅動計算機模型；研制出兼顧函數式和邏輯式風格的核心語言KLND及相應的並行推理系統；完成多個軟件自動化系統。獲中國國傢教委（現教育部）一等獎4次，電子部（現信息產業部）一等獎3次。出版著作8部，發表論文150餘篇。
