黄且圆-中国科学院工作研究员

《黄且圆》，此词条收录于04/19，仅供参考

      黄且圆（1939年3月10日－2012年3月10日），女，祖籍上海市川沙县（原江苏省川沙县），中国科学院研究员，数学家。她毕业于北京大学数学系，后获得美国康奈尔大学硕士学位。黄且圆曾在北京工业大学基础课部数学教研室、中国科学院计算技术研究所、中国科学院软件所数理逻辑室工作。在程序验证研究、广义算术公式化简问题和线性逻辑方面，她都取得了显著成就，并在学术期刊上发表了多篇高水平论文。退休后，她转向文史领域，撰写了多篇传记文章，最终结集为《大学者》一书。