1996年のCNRS銀メダルは、抽象的な仕様記述と産業応用との橋渡しをしたフランスのコンピュータ科学者であり数学者、マリー＝クロード・ゴーデル（Marie-Claude Gaudel）に対する公式な評価の一つである。1946年にナンシーで生まれて以来、彼女は数十年にわたり、欧州の学術的風景の中で形式的なテスト手法とソフトウェア仕様記述言語の開発を推進してきた。
学術的経歴
ゴーデルはナンシー大学で教育を始め、数学とその基礎的な応用の交差点に焦点を当てた。1968年に修士号を取得し、1969年には数学のDEAを取得した。コンピュータ科学への転身は1971年の大学院博士号取得で強固なものとなり、1980年の国家博士号取得へとつながった。
研究開発
彼女の職業上の経歴は、1973年のフランス国立情報学自動制御研究所（INRIA）から始まった。1981年から1984年の間、マルクシにあるアルカテル・アルストム（Alcatel-Alsthom）研究センターでソフトウェア工学グループを管理した。1984年、オルセーのパリ南大学に教授として着任した。1980年代から1990年代にかけて、ソフトウェア仕様記述言語であるPLUSSやASSPEGIQUE環境の構築に貢献し、同時にチームはテストデータ選択のためのLOFTシステムを開発した。
テスト手法
彼女の学術的成果は、一貫して形式仕様というレンズを通してソフトウェアテストを検証してきた。2000年代には、ヨーク大学の研究者と共同でCircus言語で記述されたソフトウェアのテストを行った。彼女の研究は、近似的なソフトウェア検証や、ランダムなソフトウェアテストおよび解析のためのアルゴリズム設計へと広がった。
専門的評価
ゴーデルは2007年3月にパリ南大学の教授職を退官した。彼女のキャリアには、1995年のEPFLおよび2013年のヨーク大学からの名誉博士号の授与、また2011年のレジオンドヌール勲章（シュヴァリエ）の受勲が含まれる。現在も科学協会で積極的に活動しており、プログラム委員会の委員を務め、『The Science of Computer Programming』や『Formal Aspects of Computing』といったジャーナルの編集に携わっている。
基本データ
- 生年月日：1946年、フランス、ナンシー - 分野：コンピュータ科学および数学 - 教育：ナンシー大学 - 受賞：CNRS銀メダル（1996年） - 受賞：レジオンドヌール勲章（2011年） - 名誉博士号：EPFL（1995年）、ヨーク大学（2013年）
読者からの質問
### マリー＝クロード・ゴーデルの研究の主な焦点は何ですか？
彼女は理論および応用コンピュータ科学を専門とし、特に形式仕様に基づいたソフトウェアテストに注力しています。
### マリー＝クロード・ゴーデルは現在も科学コミュニティで活動していますか？
はい。2007年にパリ南大学を退官しましたが、現在もプログラム委員会での活動や学術誌の編集を続けています。
