Gerarda Hueta

Gerarda Hueta
Urodzić się ( 07.07.1947 ) 7 lipca 1947 (wiek 75)
Bourges , Francja
Narodowość Francuski
Alma Mater
Case Western Reserve University, Uniwersytet Paryski
Znany z Caml
Kariera naukowa
Pola Matematyka
Doradca doktorski
George'a Ernsta Maurice'a Nivata
Doktoranci



Thierry Coquand François Fages Jean-Marie Hullot Xavier Leroy Christine Paulin-Mohring

Gérard Pierre Huet ( francuski: [y.ɛ] ; ur. 7 lipca 1947) to francuski informatyk, językoznawca i matematyk. Jest starszym dyrektorem ds. badań w INRIA i jest znany głównie ze swojego znaczącego wkładu w teorię typów , teorię języków programowania i teorię obliczeń .

Biografia

Gérard Huet jest absolwentem Université Denis Diderot (Paryż VII), Case Western Reserve University oraz Université de Paris . [ potrzebne źródło ]

Jest starszym dyrektorem ds. badań w INRIA , członkiem Francuskiej Akademii Nauk oraz członkiem Academia Europaea . Wcześniej był profesorem wizytującym w Asian Institute of Technology w Bangkoku , profesorem wizytującym na Uniwersytecie Carnegie Mellon oraz gościnnym badaczem w SRI International .

Jest autorem algorytmu unifikacyjnego dla prostego typu rachunku lambda oraz kompletnej metody dowodowej dla teorii typów Churcha (rozdzielczość ograniczona). Pracował nad edytorem programu Mentor w latach 1974-1977 z Gillesem Kahnem . W latach 1978–1984 wraz z Jean-Marie Hullotem pracował nad systemem dowodu równań Knutha – Bendixa (KB) . W latach 80. kierował projektem Formel, w ramach którego rozwinął się język programowania Caml . On zaprojektował rachunek konstrukcji w 1984 r. z Thierrym Coquandem . Prowadził projekt Coq w latach 90. wraz z Christine Paulin-Mohring , która opracowała asystenta sprawdzania Coq . W 1996 roku wynalazł strukturę danych zip. W latach 1996-2000 był kierownikiem ds. stosunków międzynarodowych w INRIA . W latach 2000–2004 zaprojektował zestaw narzędzi Zen Computational Linguistics.

Zorganizował Instytut Logicznych Podstaw Programowania Funkcjonalnego podczas Roku Programowania na University of Texas w Austin wiosną 1987. Zorganizował Colloquium „Proving and Improving Programs'' w Arc-et-Senans w 1975, V Międzynarodową Konferencję on Automated Deduction (CADE) w Les Arcs w 1980 r., Sympozjum Logiki w Informatyce (LICS) w Paryżu w 1994 r. i Pierwszego Międzynarodowego Sympozjum sanskryckiej lingwistyki komputerowej w 2007 r. Był koordynatorem europejskich projektów ESPRIT Ramy logiczne, a następnie TYPES, w latach 1990-1995.

Wniósł znaczący wkład w teorię unifikacji i rozwój typowych funkcjonalnych języków programowania , w szczególności Caml . Ostatnio był badaczem lingwistyki komputerowej w sanskrycie . W szczególności pracuje nad maszynami Eilenberga i formalną strukturą sanskrytu . Jest webmasterem Sanskrit Heritage Site.

Huet otrzymał nagrodę Herbrand w 1998 roku i otrzymał nagrodę EATCS w 2009 roku.

Publikacje

  • Le Projet prévision-réalisation des vols , Société d'informatique, de conseils et de recherche opérationnelle (SINCRO), Paryż, 1970. WorldCat Record
  • Spécifications pour une base commune de données , SINCRO, Paryż, 1971. WorldCat Record
  • Gérard P. Huet (1973). „Mechanizacja teorii typów” (PDF) . W Nils J. Nilsson (red.). proc. 3rd Int. Wspólna konf. w sprawie sztucznej inteligencji (IJCAI) . Williama Kaufmanna. s. 139–146.
  • Gerard P. Huet (1973). „Nierozstrzygalność unifikacji w logice trzeciego rzędu” . Informacji i Kontroli . 22 (3): 257–267. doi : 10.1016/s0019-9958(73)90301-x .
  • La Gestion des données dans les systemes informatiques , École supérieure d'électricité, Malakoff, 1974. WorldCat Record
  • „Algorytm unifikacji dla wpisanego rachunku lambda” , Gerard P. Huet, Theoretical Computer Science 1 (1975), 27-57
  • Gérard Huet (wrzesień 1976). Rezolucja d'Equations dans des Langages d'Ordre 1,2, ... ω (Ph.D.). Universite de Paris VII.
  •   Gérard Huet, Bernard Lang (1978). „Udowodnianie i stosowanie przekształceń programu wyrażonych za pomocą wzorców drugiego rzędu”. Acta Informatica . 11 : 31–55. doi : 10.1007/bf00264598 . S2CID 27669838 .
  • Gérard Huet, DS Lankford (marzec 1978). O jednolitym problemie zatrzymania dla systemów przepisywania terminów (PDF) (raport techniczny). IRIA. P. 8. 283.

Linki zewnętrzne

- Miejsce dziedzictwa sanskryckiego: [1] . Źródło 29 lipca 2020 r .
- Dictionnaire Héritage du Sanscrit : wersja do pobrania w formacie pdf, regularnie aktualizowana przez autora: [2] . Źródło 29 lipca 2020 r .
- Wersja online DICO (strona główna): [3] . Źródło 29 lipca 2020 r.
Pobrano z „ https://en.wikipedia.org/w/index.php?title=Gérard_Huet&oldid=1131298659 ”