基本介紹
- 中文名：黃且圓
- 國籍：中國
- 出生日期：1939年3月10日
- 逝世日期：2012年3月10日
- 畢業院校：北京大學數學系、美國康奈爾大學
- 籍貫：上海市川沙縣（原江蘇省川沙縣）
人物家世,人物簡介,出版圖書,主要成就,研究方向,
人物家世
黃且圓系出名門，一家名人輩出。
她的祖父黃炎培是中國現代職業教育的開創者，民盟和民建的主要創始人。
她的外祖父丁惟汾是同盟會創始人之一，辛亥革命元老，民國時期的重要政治活動家，又是功底深厚的音韻學家。
她的父親黃萬里是水利學家，清華大學最有風骨的教授，以反對三門峽工程著稱於世，千人之諾諾，不如一世之愕愕。
1937年，黃萬里、丁玉雋夫婦與長女黃且圓
她的夫君是中科院院士楊樂。文革時期，國內基礎科學研究幾乎全面停頓，楊樂和張廣厚卻完成了世界一流的數學研究成果。
人物簡介
出生生於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等知名高校訪問。
2012年3月10日在北京逝世，享年73周歲。
出版圖書
作者類型：
作者時間：2013年03月09日
他們有追求真理、永無止境的探索精神，他們有敬業愛國、赤誠為民的奉獻情懷，這一切都能讓讀者們開啟明智，啟迪心靈，受到震撼。
主要成就
在程式驗證研究方面，她擔任國家“九五”攀登項目“機器證明及其套用”子課題的負責人之一，完成了Unity語言的代數語義研究，並設計具體的程式驗證系統構建；在廣義算術公式化簡問題的研究上，黃且圓得到美國NSF資助並與國外學者合作研究，完成了一個對自動機器證明有重要的理論意義和實際套用價值的判定算法。線上性邏輯方面，黃且圓是我國第一個從事此方向研究的學者，並取得一系列有意義的成果。
1996“機器證明機器套用”專家委員會合影，後排左一為黃且圓
黃且圓同志在《中國科學》、《軟體學報》、《數學學報（英文版）》等刊物發表多篇高水平論文，著有專著《線性邏輯》一書，並曾擔任中國數學會《數學進展》常務編委；中國數學會數理邏輯專業委員會主任，積極推動數理邏輯的學術交流。
退休後，興趣重歸文史方面。她對寫作很有興趣，曾撰寫陳省身、丘成桐、彭桓武、胡先驌、王元等多篇傳記，獲得好評。這些文章才結集為《大學者》一書，由科學出版社2013年3月出版。
研究方向
主要從事數理邏輯、模型論和計算機科學理論研究工作，具有深厚、紮實的理論功底，嚴謹治學，取得了多項創新性研究成果。
