マリー＝クロード・ゴーデル

マリー＝クロード・ゴーデル
2019 年 9 月 26 日に彼女を記念して開催された「MCG デー」中の LRI (Laboratoire de Recherche en Informatique) でのマリー＝クロード・ゴーデル。
生まれる	1946年（77～78歳） ナンシー、フランス
国籍	フランス語
職業	パリ第1大学コンピュータサイエンス名誉教授
知られている	数学、コンピュータサイエンス

マリー・クロード・ゴーデル(1946 年生まれ) はフランスのコンピュータ科学者です。彼女はパリ第 1 大学の名誉教授です。彼女はソフトウェア仕様のための PLUSS 言語の開発に携わり、理論と応用の両方のコンピュータ サイエンスに携わりました。ゴーデルは現在も専門団体で活動しています。

マリー＝クロード・ゴーデルは1946年にフランスのナンシーで科学者と数学者の家庭に生まれました。^[1]彼女はナンシー大学に入学し、1968年に数学と基礎応用の修士号を取得しました。^[2]彼女はナンシー大学でさらに3つの学位を取得しました。 1969年に数学のDEA、1971年にコンピュータサイエンスの大学院博士号、1980年に国学博士号です。^[2]

1973年、ナンシー大学在学中に、ゴーデルはフランスのコンピュータサイエンスとオートメーション研究所（INRIA）で研究員として働き始めました。^[2] 1981年から1984年の初めまで、ゴーデルはフランスのマルクーシにあるアルカテル・アルストムの産業研究センターでソフトウェアエンジニアリンググループを管理しました。^[2]

1984年、彼女はオルセーにあるパリ南大学の教授になった。^{[2]そこでの彼女の仕事はソフトウェアテスト、特に}形式仕様に基づいたテストに焦点を当てていた。

1980年代から1990年代にかけて、ゴーデルはソフトウェア仕様に使用されるPLUSS言語とASSPEGIQUE仕様環境の開発に貢献しました。彼女はコンピュータサイエンスの理論と実践の側面に取り組み、ソフトウェアテスト理論と形式テストを開発し、彼女の洞察を実際の産業問題に適用しました。彼女の研究グループは、テストデータを選択するためのLOFTシステムも開発しました。^[3]

2000年代、ゴーデルは3つの主なプロジェクトに取り組みました。ヨーク大学の研究者とサーカス言語で指定されたソフトウェアをテストし、近似ソフトウェア検証を研究し、ランダムソフトウェアテストと分析のアルゴリズムを開発しました。^[2]

ゴーデルは2007年3月にパリ南大学を退職したが、形式テストに関するいくつかの会議の議長を務めるなど、いくつかのプログラム委員会のメンバーであり続けている。彼女はThe Science of Computer ProgrammingとFormal Aspects of Computingのジャーナルの編集者であり、科学コミュニティで引き続き活動している。^[2]

• 1995年スイス連邦工科大学ローザンヌ校名誉博士号^[4]
• 1996年CNRS銀メダル^[4]
• レジオンドヌール勲章、2011年^[4]
• 2013 年フランス情報学会名誉会員^[4]
• 2013年、英国ヨーク大学より名誉博士号^[4]

ゴーデルはパリ南大学在学中および退職後、多数の出版物を執筆または共著している。最も引用されているもののいくつかを以下に挙げる。^[5]

• G. Bernot、M.-C. Gaudel、B. Marre (1991)：「形式仕様に基づくソフトウェア テスト: 理論とツール」、Software Engineering Journal、第 9 巻、第 6 号、387-405 ページ。
• M.-C. Gaudel. (1995):「テストも形式化できる」、代数とプログラミングにおける木に関する講演会、pp. 82-96。
• L. Bougé、N. Choquet、L. Fribourg、および M.-C. Gaudel。(1986)：「論理プログラミングを使用した代数仕様からのテスト セット生成」、Journal of Systems and Software、vol. 6、no. 4、pp. 343-360。