Мари-Клод Годель - Marie-Claude Gaudel

Мари-Клод Годель
Мари-Клод Годель.jpg
Мари-Клод Годель в LRI (Laboratoire de Recherche en Informatique) во время «Дня MCG», организованного в ее честь 26 сентября 2019 года.
Родившийся1946 (73–74 года)
Нанси, Франция
НациональностьФранцузский
Род занятийПочетный профессор компьютерных наук Южно-Парижского университета
ИзвестенМатематика, информатика

Мари-Клод Годель (1946 г.р.) - французский ученый-компьютерщик. Она является почетным профессором Университет Париж-Юг. Она участвовала в разработке языка PLUSS для спецификаций программного обеспечения и занималась теоретической и прикладной информатикой. Годель по-прежнему активен в профессиональных сообществах.

ранняя жизнь и образование

Мари-Клод Годель родилась в 1946 году в Нанси, Франция, в семью ученых и математиков.[1] Она посетила Университет Нанси и получил степень магистра математики и фундаментальных приложений в 1968 году.[2] Она получила еще три степени в Университете Нанси: ДЭА Он получил степень доктора математики в 1969 году, аспирантуру по информатике в 1971 году и докторскую степень в 1980 году.[2]

Карьера

В 1973 году, еще учась в университете Нанси, Годель начал работать исследователем в Французский институт исследований в области компьютерных наук и автоматизации (INRIA).[2] С 1981 по начало 1984 года Годель руководил группой разработки программного обеспечения в промышленном исследовательском центре Alcatel-Alsthom в Маркусси, Франция.[2]

В 1984 году она стала профессором Университет Париж-Юг в Орсе.[2] Ее работа там была сосредоточена на тестировании программного обеспечения, в частности, тестировании на основе формальные спецификации.

В 1980-х и 1990-х годах Годель помогал разработать язык PLUSS, который используется для спецификаций программного обеспечения, и среду спецификаций ASSPEGIQUE. Она занималась теоретической и практической стороной информатики, разрабатывая теорию тестирования программного обеспечения, формального тестирования и применяя свои идеи к реальным промышленным проблемам. Ее исследовательская группа также разработала систему LOFT для отбора данных испытаний.[3]

В 2000-х Годель работал над тремя основными проектами. Она тестировала программное обеспечение, написанное на языке цирка, с исследователями из Йоркского университета, исследовала приблизительные проверка программного обеспечения, и разработаны алгоритмы для случайное тестирование программного обеспечения и анализ.[2]

Годель ушел из Университета Париж-Юг в марте 2007 года, но по-прежнему является членом ряда программных комитетов, в том числе председателем нескольких конференций по формальному тестированию. Она редактирует для журналов Наука компьютерного программирования и Формальные аспекты вычислений и продолжает быть активным в научном сообществе.[2]

Награды и отличия

Избранные публикации

Годель является автором или соавтором многочисленных публикаций во время работы в Университете Париж-Юг и после выхода на пенсию. Некоторые из наиболее цитируемых перечислены ниже:[5]

  • Г. Бернот, М.-К. Годель и Б. Марре. (1991): «Тестирование программного обеспечения на основе формальных спецификаций: теория и инструмент». Журнал программной инженерии, т. 9, вып. 6. С. 387-405.
  • М.-К. Годель. (1995): «Тестирование тоже может быть формальным», Коллоквиум по деревьям по алгебре и программированиюС. 82-96.
  • Л. Буж, Н. Шоке, Л. Фрибург, М.-К. Годель. (1986): «Генерация тестовых наборов из алгебраических спецификаций с использованием логического программирования», Журнал систем и программного обеспечения, т. 6, вып. 4. С. 343-360.

Рекомендации

  1. ^ "Мари Клод ГОДЕЛЬ, математик". Genealogie.gaudel.pagesperso-orange.fr. Получено 24 апреля 2018.
  2. ^ а б c d е ж грамм "Годель, Мари-Клод". Laboratoire de Recherche en Informatique.
  3. ^ "Université de Paris-Sud". 0.cs.ucl.ac.uk. Получено 24 апреля 2018.
  4. ^ а б c d е "Мари-Клод Годель - Les Expertes - Франкофония". Les Expertes - Франкофония. Получено 24 апреля 2018.
  5. ^ "Мари-Клод Годель - цитирование ученых Google". Scholar.google.com. Получено 24 апреля 2018.