1996 CNRS gümüş madalyası, kariyeri soyut belirtimler ile endüstriyel uygulamalar arasındaki boşluğu dolduran Fransız bilgisayar bilimcisi ve matematikçi Marie-Claude Gaudel'e verilen resmi takdirler arasındadır. 1946'da Nancy'de doğduğundan bu yana, on yıllarını Avrupa akademik ortamında resmi test yöntemlerinin ve yazılım belirtim dillerinin gelişimini ilerletmeye harcadı.
Akademik Eğitim
Gaudel eğitimine Nancy Üniversitesi'nde başladı ve burada matematik ile temel uygulamalarının kesişimine odaklandı. 1968'de yüksek lisans derecesini, 1969'da matematikte DEA derecesini aldı. Bilgisayar bilimine geçişi, 1971'deki lisansüstü doktorasıyla sağlamlaştı ve 1980'de devlet doktorası ile sonuçlandı.
Araştırma ve Geliştirme
Mesleki kariyeri 1973 yılında Fransa'daki Bilişim ve Otomasyon Araştırmaları Ulusal Enstitüsü'nde başladı. 1981 ile 1984 yılları arasında Marcoussis'teki Alcatel-Alsthom araştırma merkezinde Yazılım Mühendisliği grubunu yönetti. 1984'te Orsay'daki Paris-Sud Üniversitesi'ne profesör olarak katıldı. 1980'ler ve 1990'lar boyunca, yazılım belirtimleri için PLUSS dilinin ve ASSPEGIQUE ortamının oluşturulmasına katkıda bulundu ve ekibi test verisi seçimi için LOFT sistemini geliştirdi.
Test Yöntemleri
Akademik üretimi, yazılım testlerini resmi belirtimler merceğinden tutarlı bir şekilde inceledi. 2000'lerde, Circus dilinde yazılmış yazılımları test etmek için York Üniversitesi'nden araştırmacılarla işbirliği yaptı. Araştırmaları, yaklaşık yazılım doğrulama ile rastgele yazılım testi ve analizi için algoritmaların tasarımına genişledi.
Mesleki Tanınma
Gaudel, Mart 2007'de Paris-Sud Üniversitesi'ndeki profesörlük görevinden emekli oldu. Kariyeri, 1995'te EPFL'den ve 2013'te York Üniversitesi'nden alınan Fahri Doktorluk unvanlarını ve 2011'de Legion d'Honneur Şövalyesi unvanını içermektedir. Bilimsel topluluklarda aktif bir katılımcı olmaya devam etmekte, program komitelerinde görev almakta ve The Science of Computer Programming ve Formal Aspects of Computing gibi dergiler için editörlük yapmaktadır.
Kısa bilgiler
- Doğum: 1946, Nancy, Fransa - Alan: Bilgisayar bilimi ve matematik - Eğitim: Nancy Üniversitesi - Ödül: CNRS gümüş madalyası (1996) - Ödül: Legion d'Honneur Şövalyesi (2011) - Fahri Doktor: EPFL (1995), York Üniversitesi (2013)
Okuyucuların sorduğu sorular
### Marie-Claude Gaudel'in araştırmasının ana odağı nedir?
Teorik ve uygulamalı bilgisayar bilimi konusunda uzmanlaşmış olup, özellikle resmi belirtimlere dayalı yazılım testlerine odaklanmaktadır.
### Marie-Claude Gaudel hala bilim dünyasında aktif mi?
Evet, 2007 yılında Paris-Sud Üniversitesi'nden emekli olmasına rağmen, program komitelerinde görev almaya ve akademik dergileri düzenlemeye devam etmektedir.
