Мари-Клод Годель
Мари-Клод Годель | |
|---|---|
 Мари-Клод Годель в LRI (Laboratoire de Recherche en Informatique) во время «Дня MCG», организованного в ее честь 26 сентября 2019 года. | |
| Рожденный | 1946 (возраст 77–78 лет) |
| Национальность | Французский |
| Занятие | Почетный профессор компьютерных наук Университета Париж-Юг. |
| Известный | Математика, Информатика |
Мари-Клод Годель (род. 1946) — французский учёный-компьютерщик. Она является почетным профессором Университета Париж-Юг . Она помогала разрабатывать язык PLUSS для спецификаций программного обеспечения и занималась как теоретической, так и прикладной информатикой. Годель по-прежнему активен в профессиональных обществах.
Ранняя жизнь и образование
[ редактировать ]Мари-Клод Годель родилась в 1946 году в Нанси, Франция , в семье ученых и математиков. [1] Она училась в Университете Нанси и получила степень магистра математики и фундаментальных приложений в 1968 году. [2] Она получила еще три степени в Университете Нанси: DEA по математике в 1969 году, аспирантуру по компьютерным наукам в 1971 году и докторскую степень в 1980 году. [2]
Карьера
[ редактировать ]В 1973 году, еще учась в Университете Нанси, Годель начал работать научным сотрудником во Французском институте исследований в области компьютерных наук и автоматизации (INRIA). [2] С 1981 по начало 1984 года Годель руководил группой разработки программного обеспечения в промышленном исследовательском центре Alcatel-Alsthom в Маркусси, Франция. [2]
В 1984 году она стала профессором Университета Париж-Юг в Орсе. [2] Ее работа там была сосредоточена на тестировании программного обеспечения, особенно на тестировании на основе формальных спецификаций .
В 1980-х и 1990-х годах Годель участвовал в разработке языка PLUSS, который используется для спецификаций программного обеспечения, и среды спецификаций ASSPEGIQUE. Она работала над теоретической и практической стороной информатики, разрабатывая теорию тестирования программного обеспечения, формальное тестирование и применяя свои идеи к реальным промышленным проблемам. Ее исследовательская группа также разработала систему LOFT для отбора тестовых данных. [3]
В 2000-х Годель работал над тремя основными проектами. Она тестировала программное обеспечение, написанное на языке Circus, вместе с исследователями из Йоркского университета, исследовала приблизительную верификацию программного обеспечения и разработала алгоритмы для случайного тестирования и анализа программного обеспечения. [2]
Годель ушел из Университета Париж-Юг в марте 2007 года, но продолжает оставаться членом ряда программных комитетов, в том числе председателем нескольких конференций по формальному тестированию. Она редактирует журналы «Наука компьютерного программирования» и «Формальные аспекты вычислений» и продолжает активно участвовать в научном сообществе. [2]
Награды и почести
[ редактировать ]- Доктор Honoris Causa из EPFL , Швейцария, 1995 г. [4]
- Серебряная медаль НЦРС , 1996 г. [4]
- Кавалер ордена Почетного легиона , 2011 г. [4]
- Почетный член Информационного общества Франции, 2013 г. [4]
- Почетный доктор Йоркского университета , Великобритания, 2013 г. [4]
Избранные публикации
[ редактировать ]Годель была автором или соавтором многочисленных публикаций во время своего пребывания в Университете Париж-Юг и после выхода на пенсию. Некоторые из наиболее цитируемых из них перечислены ниже: [5]
- Ж. Берно, М.-К. Годель и Б. Марре. (1991): «Тестирование программного обеспечения на основе формальных спецификаций: теория и инструмент», Software Engineering Journal , vol. 9, нет. 6, стр. 387-405.
- М.-К. Гаудель. (1995): «Тестирование тоже может быть формальным», Коллоквиум по деревьям в алгебре и программировании , стр. 82-96.
- Л. Буже, Н. Шоке, Л. Фрибур и М.-К. Гаудель. (1986): «Генерация тестовых наборов на основе алгебраических спецификаций с использованием логического программирования», Journal of Systems and Software , vol. 6, нет. 4, стр. 343-360.
Ссылки
[ редактировать ]- ^ «Мари Клод ГОДЕЛЬ, математик» . Genealogie.gaudel.pagesperso-orange.fr . Проверено 24 апреля 2018 г.
- ↑ Перейти обратно: Перейти обратно: а б с д и ж г «Годель, Мари-Клод» . Лаборатория компьютерных исследований .
- ^ «Университет Париж-Юг» . 0.cs.ucl.ac.uk. Проверено 24 апреля 2018 г.
- ↑ Перейти обратно: Перейти обратно: а б с д и «Мари-Клод Годель - Эксперты - Франкофония» . Эксперты – Франкофония . Проверено 24 апреля 2018 г.
- ^ «Мари-Клод Годель — Цитаты в Google Scholar» . Scholar.google.com . Проверено 24 апреля 2018 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
