1996年的法国国家科学研究中心（CNRS）银质奖章是对玛丽-克洛德·戈德尔（Marie-Claude Gaudel）的正式认可之一，她是一位在抽象规范与工业应用之间架起桥梁的法国计算机科学家和数学家。自1946年在南锡出生以来，她花费了数十年时间在欧洲学术界推进形式化测试方法和软件规范语言的发展。
学术背景
戈德尔在南锡大学开始其教育生涯，专注于数学及其基础应用的交叉领域。她于1968年获得硕士学位，随后于1969年获得数学高等深入研究文凭（DEA）。她在1971年获得研究生博士学位，从而确立了向计算机科学的转型，并最终于1980年获得国家博士学位。
研究与发展
她的职业生涯始于1973年的法国国家信息与自动化研究所。在1981年至1984年期间，她在马尔库西的阿尔卡特-阿尔斯通（Alcatel-Alsthom）研究中心管理软件工程小组。1984年，她作为教授加入奥赛的巴黎南大学。在20世纪80年代和90年代，她为创建用于软件规范的PLUSS语言和ASSPEGIQUE环境做出了贡献，同时她的团队还开发了用于测试数据选择的LOFT系统。
测试方法
她的学术成果始终通过形式化规范的视角来审视软件测试。在21世纪头十年，她与约克大学的研究人员合作，测试了用Circus语言编写的软件。她的研究扩展到了近似软件验证以及用于随机软件测试和分析的算法设计领域。
专业认可
戈德尔于2007年3月从巴黎南大学的教授职位退休。她的职业生涯包括1995年获得洛桑联邦理工学院（EPFL）和2013年获得约克大学的荣誉博士学位，并于2011年被授予法国荣誉军团骑士勋章。她仍然是科学协会的积极参与者，在项目委员会任职，并为《计算机程序设计科学》（The Science of Computer Programming）和《形式化计算方面》（Formal Aspects of Computing）等期刊担任编辑。
基本信息
- 出生：1946年，法国南锡 - 领域：计算机科学与数学 - 教育：南锡大学 - 奖项：CNRS银质奖章（1996年） - 奖项：法国荣誉军团骑士勋章（2011年） - 荣誉博士：洛桑联邦理工学院（1995年）、约克大学（2013年）
读者提问
### 玛丽-克洛德·戈德尔的研究主要集中在什么方面？
她专注于理论和应用计算机科学，特别是基于形式化规范的软件测试。
### 玛丽-克洛德·戈德尔现在还活跃在科学界吗？
是的，尽管她于2007年从巴黎南大学退休，但她仍继续在项目委员会任职并担任学术期刊编辑。
