黃且圓（1939年3月10日－2012年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等知名高校進行訪問研究。2012年3月10日在北京逝世，享年73歲。
出版圖書
主要成就
黃且圓在程序驗證研究方面擔任國家“九五”攀登項目“機器證明及其應用”子課題的負責人之一，完成了Unity語言的代數語義研究，并設計具體的程序驗證系統構建。在廣義算術公式化簡問題的研究上，她得到美國NSF資助并與國外學者合作研究，完成了一個對自動機器證明有重要理論意義和實際應用價值的判定算法。黃且圓是我國第一個從事線性邏輯方向研究的學者，并取得了一系列有意義的成果。她在《中國科學》《軟件學報》《數學學報（英文版）》等刊物發表多篇高水平論文，并著有專著《線性邏輯》一書。退休后，黃且圓對寫作產生濃厚興趣，撰寫了陳省身、丘成桐、彭桓武、胡先驌、王元等多篇傳記文章，獲得好評，并最終結集為《大學者》一書。
研究方向
黃且圓主要從事數理邏輯、模型論和計算機科學理論研究工作，具有深厚、扎實的理論功底，嚴謹治學，取得了多項創新性研究成果。
參考資料 >
黃且圓:祖父黃炎培最后站到了共產黨這一邊 .搜狐網.2024-06-21
《大學者》.共產黨網.2024-06-21
黃且圓同志生平.中國科學院.2024-06-21
黃且圓：紀念父親黃萬里先生.清華校友總會.2024-06-21