Alain Colmerauer - Alain Colmerauer
Alain Colmerauer | |
|---|---|
 | |
| Urodzony |
24 stycznia 1941
Carcassonne , Francja
|
| Zmarły | 12 maja 2017 (w wieku 76)
Marsylia , Francja
|
| Znany z | Prolog |
| Małżonek (e) | Colette Coursaget |
| Dzieci | 3 |
| Kariera naukowa | |
| Praca dyplomowa | Precedences, analysis syntaxique et langages de programmation (1967) |
| Doradca doktorancki | Louis Bolliet, Jean Kuntzman |
Alain Colmerauer (24 stycznia 1941-12 maja 2017) był francuskim informatykiem . Był profesorem na Uniwersytecie Aix-Marseille i twórcą języka programowania logicznego Prolog .
Wczesne życie
Alain Colmerauer urodził się 24 stycznia 1941 roku w Carcassonne . Ukończył Grenoble Institute of Technology , a doktorat uzyskał w Ensimag w Grenoble .
Kariera
Colmerauer spędził lata 1967–1970 jako adiunkt na Uniwersytecie w Montrealu , gdzie stworzył Q-Systems , jeden z najwcześniejszych formalizmów językowych użytych do opracowania prototypu tłumaczenia maszynowego TAUM-METEO . Tworząc Prolog III w 1984 roku, był jednym z głównych twórców dziedziny programowania z ograniczeniami .
Colmerauer został profesorem nadzwyczajnym na Uniwersytecie Aix-Marseille w Luminy w 1970 r. W 1979 r. Awansował na profesora zwyczajnego. W latach 1993–1995 był kierownikiem Laboratoire d'Informatique de Marseille (LIM), wspólnego laboratorium Centrum National de la Recherche Scientifique, Université de Provence i Université de la Méditerranée. Pomimo przejścia na emeryturę jako emerytowany profesor w 2006 roku pozostał członkiem zespołu zadaniowego sztucznej inteligencji w Luminy.
Colmerauer wygrał nagrodę od sejmiku o Prowansja-Alpy-Lazurowe Wybrzeże , w 1985 Monpetit nagrodę Michel , z Francuskiej Akademii Nauk . W 1986 r . Rząd francuski nadał mu tytuł kawalera Legii Honorowej . W 1991 r. Został członkiem Amerykańskiego Stowarzyszenia Sztucznej Inteligencji, aw 2008 r. Otrzymał nagrodę Research Excellence Award od Association for Constraint Programming. Był również korespondentem francuskiej Akademii Nauk w dziedzinie matematyki.
Śmierć
Colmerauer zmarł 12 maja 2017 r.
Bibliografia
Linki zewnętrzne
 |
Ten artykuł o francuskim informatyku to skrót . Możesz pomóc Wikipedii, rozbudowując ją . |