Igen, Gerard

Gérard Pierre Huet ( francia  Gérard Huet ) francia tudós a számítástechnika, a matematika és a nyelvészet területén. Ő az INRIA kutatási vezérigazgatója, és leginkább a típuselméletben , a programnyelv-elméletben és az algoritmuselméletben nyújtott jelentős hozzájárulásairól ismert .

Életrajz

Gerard Huet a Paris Diderot Egyetemen (Párizs VII), a Case Western Reserve Egyetemen és a Párizsi Egyetemen szerzett diplomát .

Az INRIA vezető kutatási igazgatója , a Francia Tudományos Akadémia tagja, az Európai Akadémia tagja . Korábban a bangkoki Asian Institute of Technology vendégprofesszora , a Carnegie Mellon Egyetem vendégprofesszora és az SRI International vendégkutatója volt .

Ő a szerzője az egyesítési algoritmusnak az egyszerűen tipizált lambda-számításhoz és Church típuselméleti módszerének teljes bizonyításához . 1974-1977 között a Mentor program szerkesztőjében dolgozott Gilles Kahnnal . 1978-1984-ben Jean-Marie Hullot- val együtt dolgozott a KB egyenletbizonyítási rendszeren . Az 1980-as években a Formel projektet vezette, amely a Caml programozási nyelvet fejlesztette ki. 1984-ben Thierry Cocannal közösen kidolgozta az építési kalkulust . Az 1990-es években a Coq projektet vezette Christine Paulinnal a Coq asszisztens ellenőrzés fejlesztésével [2] . 1996-ban feltalálta a Zipper adatstruktúrát . 1996-2000 között az INRIA nemzetközi kapcsolatokért felelős vezetője volt. 2000-2004 között fejlesztette ki a Zen Computational Linguistics eszköztárat .

1987 tavaszán megszervezte a Funkcionális Programozás Logikai Alapjainak Intézetét a Programozás Évében a Texasi Egyetemen Austinban . Megszervezte a "Program tesztelés és fejlesztés" kollokviumot az Arc et Senansban -ben, az 5. Nemzetközi Automatizált Levonás Konferenciát (CADE) Les Arcs -ban 1980-ban, a "Logic in Computer Science" szimpóziumot (a Logic in Computer Science Symposium , LICS) Párizsban 1994-ben és az Első Nemzetközi Szanszkrit Számítógépes Nyelvészeti Szimpózium 2007-ben. 1990 és 1995 között az ESPRIT European Logic Framework Projects, majd a TYPES koordinátora volt.

Jelentősen hozzájárult az egységesítés elméletéhez és a tipizált funkcionális programozási nyelvek, különösen a Caml fejlesztéséhez . [3] [4] Legutóbb szanszkrit nyelvű számítógépes nyelvész volt . [5] A szanszkrit örökség webmestere. [6]

Yue 1998-ban Herbrand-díjat [7] , 2009-ben pedig EATCS-díjat kapott. [nyolc]

Publikációk

• Le Projet prévision-réalisation des vols , Société d'informatique, de conseils et de recherche opérationnelle (SINCRO), Párizs, 1970. WorldCat Record archiválva 2016. december 20-án a Wayback Machine -nél
• Spécifications pour une base commune de données , SINCRO, Paris, 1971. WorldCat Record Archivált 2016. április 4-én a Wayback Machine -nél
• Gerard P. Huet. A típuselmélet gépesítése // Proc. 3. Int. Közös Konf. a mesterséges intelligenciáról (IJCAI)  (angol) / Nils J. Nilsson. - William Kaufmann, 1973. - P. 139-146.
• Gerard P. Huet.  Az egységesítés eldönthetetlensége a harmadrendű logikában  // Információ és vezérlés : folyóirat. - 1973. - 1. évf. 22 . - P. 257-267 . - doi : 10.1016/s0019-9958(73)90301-x .
• La Gestion des données dans les systèmes informatiques , École supérieure d'électricité, Malakoff, 1974. WorldCat Record archiválva 2016. április 4-én a Wayback Machine -nél
• "A Unification Algorithm for Typed Lambda-Calculus" , Gerard P. Huet, Theoretical Computer Science 1 (1975), 27-57
• Gerard Huet (1976. szept.). Resolution d'Equations dans des Langages d'Ordre 1,2,...ω (Ph.D.). Université de Paris VII.
• Gerard Huet, Bernard Lang. Másodrendű mintákkal kifejezett programtranszformációk bizonyítása és alkalmazása  //  Acta Informatica : folyóirat. - 1978. - 1. évf. 11 . - P. 31-55 . - doi : 10.1007/bf00264598 .
• Gerard Huet, DS Lankford. A kifejezés-újraírási rendszerek egységes leállítási problémájáról  . - 1978. - 8. o.

• G. Huet, JM Hullot. Bizonyítások indukcióval az egyenletelméletekben konstruktorokkal // 21. Ann. Symp.  a számítástechnika alapjairól . - Villamos- és Elektronikai Mérnöki Intézet , 1980. - P. 96-107.
• G. Huet, D.C. Oppen. Egyenletek és átírási szabályok: Felmérés  (határozatlan) . - 1980. - S. 52.
• Gerard Huet. A Knuth-Bendix befejezési algoritmus helyességének teljes bizonyítása  //  J. Comput. System Sci. : folyóirat. - 1981. - 1. évf. 23 . - P. 11-21 . - doi : 10.1016/0022-0000(81)90002-7 .
• Gerard Huet. Formális struktúrák a számításhoz és a  levonáshoz . - 1986. - (Nemzetközi Nyári Iskola programozási logikával és diszkrét tervezési számításokkal). Archiválva : 2014. július 14. a Wayback Machine -nél
• Gerard Huet. A szerkezetszámításban formalizált indukciós elvek  / K. Fuchi és M. Nivat. - Észak-Hollandia, 1988. - P. 205-216. Archiválva : 2015. július 1. a Wayback Machine -nél

• Gerard Huet. Maradékelmélet a λ-számításban: Formális  fejlődés . — 1993. Archiválva : 2015. július 1. a Wayback Machine -nál
• Huet, GP Design Proof Assistant (meghívott előadás)  (meghatározatlan) / Ganzinger, Harald. - Springer-Verlag , 1996. - T. 1103. - S. 153. - (LNCS).
• Gerard Huet, H. Laulhere. Finite-state Transducers as Regular Böhm Trees // A számítógépes szoftver elméleti vonatkozásai  (neopr.) / M. Abadi és T. Ito. - Springer, 1997. - T. 1281. - S. 604-610. — (LNCS). Archivált : 2014. december 22. a Wayback Machine -nál
• Gerard Huet. Rendszeres Böhm-fák  (határozatlan)  // Math. Struktúra. in Comp. Tudomány. - 1998. - T. 8 . - S. 671-680 . - doi : 10.1017/s0960129598002643 . Az eredetiből archiválva : 2016. január 24.

• Gerard Huet. Higher Order Unification 30 years later // Proceedings, 15th International Conference TPHOL  (angol) / V. Carreño and C. Muñoz and S. Tahar. - Springer, 2002. - Vol. 2410. - P. 3-12. — (LNCS). utóirat
• Gerard Huet. Lineáris kontextusok és a megosztási függvény: Szimbolikus számítástechnikák  / Fairouz Kamareddine. — Kluwer, 2003. Archiválva : 2015. július 1. a Wayback Machine -nál

Jegyzetek

1. ↑ Matematikai genealógia  (angol) - 1997.
2. ↑ Mi az a Coq? | A Coq Proof Assistant archiválva 2016. április 24-én a Wayback Machine -nál . Coq.inria.fr. Letöltve: 2013-07-21.
3. ↑ Pawan Goyal, Gerard Huet. Egy szanszkrit olvasó teljességi elemzése // Proceedings of the Fifth International Symposium on Sanskrit Computational Linguistics, Mumbai  (angol) . - 2013. Archív másolat (elérhetetlen link) . Letöltve: 2016. december 9. Az eredetiből archiválva : 2014. július 14.. (határozatlan) 
4. ↑ Gerard Huet, Pawan Goyal. Lean interfész tervezése szanszkrit korpusz annotációhoz // Proceedings, ICON13, Hyderabad  (neopr.) . - 2013. Archív másolat (elérhetetlen link) . Letöltve: 2016. december 9. Az eredetiből archiválva : 2014. július 14.. (határozatlan) 
5. ↑ Gerard Huet . Archiválva : 2008. szeptember 12. a Wayback Machine -nél
6. ↑ Szanszkrit örökség . Letöltve: 2016. december 9. Az eredetiből archiválva : 2013. június 3. (határozatlan)
7. ↑ A Herbrand-díj az automatizált érveléshez nyújtott kiemelkedő hozzájárulásokért (a hivatkozás nem érhető el) . Letöltve: 2016. december 9. Az eredetiből archiválva : 2015. február 7.. (határozatlan) 
8. ↑ Az Elméleti Számítástudományi Szövetség díja . Letöltve: 2016. december 9. Az eredetiből archiválva : 2016. december 21.. (határozatlan)

Linkek

• Huet, Gerard  (angol) a Matematikai Genealógiai Projektnél
• Gérard Huet honlapja Archivált : 2016. november 28. a Wayback Machine -nél
• Gérard Huet Heritage du sanskrit dictionnaire sanskrit-français . Hozzáférés dátuma: 2016. december 9. Az eredetiből archiválva : 2008. február 27.  (határozatlan)  (3,32 MB)(428 oldal, 2007. április 5.)

Tematikus oldalak	Google ösztöndíjas Matematikai genealógia zbMATH Nyitva
Bibliográfiai katalógusokban BNF : 11907937c GND : 1079124640 ISNI : 0000 0001 1932 5321 J9U : 987007444796905171 LCCN : n81087432 NKC : xx0233005 NTA : 074993321 NUKAT : n94301441 SUDOC : 026927241 VIAF : 14812854 WorldCat VIAF : 14812854