黃且圓同志，中國科學院軟件研究所研究員，因病醫治無效，于2012年3月10日凌晨零點五分在京逝世，享年73周歲。

黃且圓，女，生于1939年3月10日，祖籍上海市川沙縣（原江蘇省川沙縣）。1962年8月畢業于北京大學數學系；1983年8月獲美國康奈爾大學碩士學位。1962年9月至1978年3月在北京工業大學基礎課部數學教研室工作。1978年3月進入中國科學院計算技術研究所，1985年軟件研究所成立后，進入軟件所數理邏輯室工作。在中國科學院工作期間先后被聘為助理研究員、副研究員、研究員。1989年10月至1991年5月先后在美國Cornell Univ.、Univ.of Notre Dame、Indiana Univ. at South Bend等知名高校訪問。

黃且圓研究員主要從事數理邏輯、模型論和計算機科學理論研究工作，具有深厚、扎實的理論功底，嚴謹治學，取得了多項創新性研究成果。在程序驗證研究方面，她擔任國家“九五”攀登項目“機器證明及其應用”子課題的負責人之一，完成了Unity語言的代數語義研究，并設計具體的程序驗證系統構建；在廣義算術公式化簡問題的研究上，黃且圓得到美國NSF資助并與國外學者合作研究，完成了一個對自動機器證明有重要的理論意義和實際應用價值的判定算法。在線性邏輯方面，黃且圓是我國第一個從事此方向研究的學者，并取得一系列有意義的成果。黃且圓同志在《中國科學》、《軟件學報》、《數學學報（英文版）》等刊物發表多篇高水平論文，著有專著《線性邏輯》一書，并曾擔任中國數學會《數學進展》常務編委；中國數學會數理邏輯專業委員會主任，積極推動數理邏輯的學術交流。她對寫作很有興趣，曾撰寫陳省身、丘成桐、彭桓武、胡先驌、王元等多篇傳記，獲得好評。

黃且圓同志的逝世使我們失去了一位著名的學者，失去了一位可親、可敬的好師長、好同志。她的音容笑貌永遠活在我們心中。今天我們懷著十分悲痛的心情，沉痛悼念黃且圓同志，并對她的家屬表示深切的慰問。我們要化悲痛為力量，以黃且圓研究員為楷模，學習她的敬業精神和高尚品德，學習她孜孜以求、不懈努力的工作精神！

黃且圓同志安息！