Alain Colmerauer: Enginyer en computació i professor universitari francès
Alain Colmerauer (Carcassona, 24 de gener de 1941 - Marsella, 12 de maig de 2017), va ser un enginyer en computació i professor universitari francès que va participar en la creació del llenguatge de programació Prolog.
  | |
| Biografia | |
|---|---|
| Naixement | (fr) Alain Marie Albert Colmerauer 24 gener 1941 Carcassona (França) |
| Mort | 12 maig 2017 (76 anys) 5è districte de Marsella (França) |
| Dades personals | |
| Formació | École nationale supérieure d'informatique et de mathématiques appliquées de Grenoble Institut politècnic de Grenoble |
| Director de tesi | Louis Bolliet i Jean Kuntzmann |
| Activitat | |
| Camp de treball | Ciències de la computació |
| Ocupació | informàtic, enginyer, professor d'universitat |
| Ocupador | Universitat de Montreal Universitat d'Ais-Marsella |
| Membre de | |
| Obra | |
Obres destacables
| |
| Estudiant doctoral | Veronica Dahl, Célestin Sedogbo, Frédéric Benhamou i Philippe Roussel |
Premis
| |
| Lloc web | alain.colmerauer.free.fr |
Biografia
Alain Marie Albert Colmerauer va estudiar a l'Institut Politècnic de Grenoble Ensimag. Més tard, va obtenir el títol de doctor per la Universitat de Grenoble-Alps amb una tesi sobre l'anàlisi sintàctica dels llenguatges de programació. Després d'una estada científica a Montreal, va treballar sobre els sistemes de traducció automàtica, especialment de l'anglès al francès. Va inventar l'anomenat sistema Q, el què va portar posteriorment al naixement del llenguatge Prolog.
Va ser professor de la Universitat de la Mediterrània, l'Aix-Marseille II. A més a més, va continuar els seus treballs als equips de processament de llenguatges, com la gramàtica de la metamorfosi. Va desenvolupar el llenguatge Prolog amb Philippe Roussel a partir del 1972, creant d'aquesta manera la base de la nova Programació lògica.
Cap a 1980, Colmerauer va e sdevenir un dels assessors principals del projecte japonès per a equips de 5a Generació, coneguda com a 5G, la qual cosa el portaria posteriorment al desenvolupament del Prolog d'Ehud Shapiro. A continuació, va crear Prolog III i, més endavant, centrant-se cada cop més en la programació amb restriccions, Prolog IV (1996) i la lògica de la programació amb restriccions.
Va estudiar després qüestions més teòriques en relació amb la informàtica quàntica i la lògica del primer ordre.
Finalment, Alain Colmerauer va morir el 12 de maig de 2017 a Marsella.
Distincions
- Pomme d'or de Software el 1982, atorgat per Apple França per la implementació de Prolog II en un Apple II (premi compartit amb Henry Kanoui i Michel Van Caneghem).
- Premi 1984 del Consell regional de la regió de Provence-Alpes-Côte d'Azur.
- Premi Michel Monpetit 1985, expedit per l'Acadèmia Francesa de les Cièncise
- Cavaller de la Legió d'honor el 1986.
- Membre associat de l'Associació americana d'intel·ligència artificial, 1991.
- Corresponent (editor associat) de l'Acadèmia Francesa de les Ciències a la secció de Matemàtiques.
Publicacions
- Alain Colmerauer, Henry Kanoui et Michel Van Caneghem, Prolog bases théoriques et développements actuels, Techniques et Science Informatiques, vol. 2, número 4, 1983.
- Frédéric Benhamou, Alain Colmerauer, Constraint Logic programming, Selected Research., MIT Press, 1993
Referències
This article uses material from the Wikipedia Català article Alain Colmerauer, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). El contingut està disponible sota la llicència CC BY-SA 4.0 si no s'indica el contrari. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Català (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.