Серебряная медаль CNRS 1996 года входит в число официальных признаний заслуг Мари-Клод Годель (Marie-Claude Gaudel), французского компьютерного ученого и математика, чья карьера позволила преодолеть разрыв между абстрактными спецификациями и промышленным применением. С момента своего рождения в Нанси в 1946 году она посвятила десятилетия развитию формальных методов тестирования и языков спецификации программного обеспечения в европейской академической среде.
Академическое образование
Годель начала свое образование в Университете Нанси, где сосредоточилась на пересечении математики и ее фундаментальных приложений. Она получила степень магистра в 1968 году, а затем диплом DEA по математике в 1969 году. Ее переход в информатику закрепился получением докторской степени в 1971 году, что завершилось получением государственной докторской степени в 1980 году.
Исследования и разработки
Ее профессиональный путь начался в Национальном институте исследований в области информатики и автоматики во Франции в 1973 году. В период с 1981 по 1984 год она руководила группой разработки программного обеспечения в исследовательском центре Alcatel-Alsthom в Маркуси. В 1984 году она стала профессором Университета Париж-Юг в Орсе. В 1980-х и 1990-х годах она участвовала в создании языка PLUSS для спецификаций программного обеспечения и среды ASSPEGIQUE, в то время как ее команда разрабатывала систему LOFT для выбора тестовых данных.
Методологии тестирования
Ее академические работы последовательно исследовали тестирование программного обеспечения через призму формальных спецификаций. В 2000-х годах она сотрудничала с исследователями из Йоркского университета для тестирования программного обеспечения, написанного на языке Circus. Ее исследования расширились до области аппроксимированной верификации программного обеспечения и разработки алгоритмов для случайного тестирования и анализа программного обеспечения.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Профессиональное признание
Годель вышла на пенсию с профессорской должности в Университете Париж-Юг в марте 2007 года. Ее карьера включает звание почетного доктора EPFL в 1995 году и Йоркского университета в 2013 году, а также звание кавалера ордена Почетного легиона в 2011 году. Она остается активным участником научных обществ, работая в программных комитетах и редактируя журналы, включая The Science of Computer Programming и Formal Aspects of Computing.
Краткие факты
- Рождение: 1946, Нанси, Франция - Область: Информатика и математика - Образование: Университет Нанси - Награда: Серебряная медаль CNRS (1996) - Награда: Кавалер ордена Почетного легиона (2011) - Почетный доктор: EPFL (1995), Йоркский университет (2013)
Вопросы читателей
### Какова основная цель исследований Мари-Клод Годель?
Она специализируется на теоретической и прикладной информатике, уделяя особое внимание тестированию программного обеспечения на основе формальных спецификаций.
### Остается ли Мари-Клод Годель активной в научном сообществе?
Да, хотя она вышла на пенсию из Университета Париж-Юг в 2007 году, она продолжает работать в программных комитетах и редактировать академические журналы.
