Gérard Huet - Gérard Huet

Tento životopis živé osoby potřebuje další citace pro ověření. Pomozte prosím přidáním spolehlivé zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. Najít zdroje: „Gérard Huet“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Září 2010) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Gérard Pierre Huet (Francouzština:[y.ɛ]; narozen 7. července 1947) je a francouzština počítačový vědec, lingvista a matematik. Je vedoucím výzkumu ve společnosti INRIA a většinou známý svými významnými a významnými příspěvky pro teorie typů, teorie programovacího jazyka a do teorie výpočtu.

Životopis

Gérard Huet vystudoval Université Denis Diderot (Paříž VII), Case Western Reserve University a Université de Paris.^{[Citace je zapotřebí ]}

Je vedoucím výzkumu ve společnosti INRIA, člen Francouzská akademie věd a člen Academia Europaea. Dříve byl hostujícím profesorem na Asijský technologický institut v Bangkok, hostující profesor na Univerzita Carnegie Mellon a výzkumný pracovník v doméně SRI International.

Je autorem a sjednocující algoritmus pro jednoduše zadaný lambda kalkul a úplné důkazní metody pro Kostel je teorie typů (omezené rozlišení ). V letech 1974–1977 pracoval na editoru programu Mentor Gilles Kahn. V roce 1978–1984 pracoval na systému rovnicových důkazů KB s Jean-Marie Hullot. V 80. letech vedl projekt Formel, který vyvinul programovací jazyk Caml. Navrhl Počet konstrukcí v roce 1984 s Thierry Coquand. V 90. letech vedl projekt Coq s Christine Paulin, která vyvinula Coq proof asistent. Vynalezl datová struktura zipu v roce 1996. Byl vedoucím mezinárodních vztahů pro INRIA v letech 1996–2000. Navrhl Sada nástrojů Zen Computational Linguistics v letech 2000–2004.

Zorganizoval Ústav logických základů funkčního programování během Roku programování na VŠE University of Texas v Austinu na jaře 1987. V roce uspořádal kolokvium „Programy prokazování a zlepšování“ Arc-et-Senans v roce 1975, 5. mezinárodní konference o automatizovaném odečtu (CADE) v Les Arcs v roce 1980 Logos in Computer Science Symposium (LICS) v Paříž v roce 1994 a první mezinárodní sympozium v ​​sanskrtské počítačové lingvistice v roce 2007. V letech 1990 až 1995 byl koordinátorem evropských projektů ESPRIT Logical Frameworks, poté TYPES.

Významně přispěl k teorii unifikace a na vývoj strojopisu Funkcionální programování zejména jazyky CAML. Více nedávno působil jako vědec výpočetní lingvistika v Sanskrt.^[1][2] Zejména pracuje Eilenbergovy stroje a na formální strukturu Sanskrt.^[3] Je webmasterem sanskrtského dědictví UNESCO.^[4]

Huet obdržel Herbrand Award v roce 1998^[5] a obdržel Cena EATCS v roce 2009.^[6]

Publikace

• Le Projet prévision-réalisation des vols„Société d'informatique, de conseils et de recherche opérationnelle (SINCRO), Paříž, 1970. WorldCat Record
• Spécifikace vylévají základní komunu données, SINCRO, Paříž, 1971. WorldCat Record
• Gérard P. Huet (1973). „Mechanizace teorie typů“ (PDF). V Nils J. Nilsson (ed.). Proc. 3. Int. Společná konf. o umělé inteligenci (IJCAI). William Kaufmann. str. 139–146.
• Gérard P. Huet (1973). „Nerozhodnutelnost sjednocení v logice třetího řádu“. Informace a kontrola. 22 (3): 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
• „Algoritmus sjednocení pro zadaný lambda-kalkul“ Gerard P. Huet, Theoretical Computer Science 1 (1975), 27-57
• Gérard Huet (září 1976). Resolution d'Equations dans des Langages d'Ordre 1,2, ... ω (Ph.D.). Universite de Paris VII.
• Gérard Huet, Bernard Lang (1978). "Prokazování a uplatňování programových transformací vyjádřených vzory druhého řádu". Acta Informatica. 11: 31–55. doi:10.1007 / bf00264598.
• Gérard Huet, DS Lankford (březen 1978). K problému jednotného zastavení pro systémy přepisování termínů (PDF) (Technická zpráva). IRIA. p. 8. 283.

• G. Huet, J.M. Hullot (říjen 1980). "Důkazy indukcí v rovnicových teoriích s konstruktory". 21. Ann. Symp. o základech informatiky. Journal of Computer and System Sciences. 25. IEEE. 96–107. doi:10.1016 / 0022-0000 (82) 90006-X.
• G. Huet, D.C. Oppen (leden 1980). Rovnice a pravidla přepisování: Průzkum (PDF) (Technická zpráva). Stanford Univ., CS Dept. str. 52. STAN-CS-80-785.
• Gérard Huet (1981). „Úplný důkaz správnosti algoritmu dokončení Knuth-Bendix. J. Comput. Syst. Sci. 23 (1): 11–21. doi:10.1016/0022-0000(81)90002-7.
• Gérard Huet (květen 1986). Formální struktury pro výpočet a odpočet. Mezinárodní letní škola logiky programování a výpočtů diskrétního designu. Archivovány od originál dne 2014-07-14. Citováno 2014-06-19.
• Gérard Huet (1988). K. Fuchi a M. Nivat (ed.). Principy indukce formalizované v počtu konstrukcí (PDF). Severní Holandsko. str. 205–216. Archivovány od originál (PDF) dne 01.07.2015. Citováno 2014-06-19.

• Gérard Huet (srpen 1993). Zbytková teorie v λ-kalkulu: formální vývoj (PDF) (Technická zpráva). INRIA. 2009. Archivovány od originál (PDF) dne 01.07.2015. Citováno 2014-06-19.
• Huet, G.P. (1996). Ganzinger, Harald (ed.). Design Proof Assistant (pozvaná přednáška). LNCS. 1103. Springer-Verlag. p. 153.
• Gérard Huet, H. Laulhère (září 1997). „Převodníky konečného stavu jako běžné Böhmovy stromy“ (PDF). V M. Abadi a T. Ito (ed.). Teoretické aspekty počítačového softwaru. LNCS. 1281. Springer. 604–610. Archivovány od originál (PDF) dne 2014-12-22. Citováno 2014-06-19.
• Gérard Huet (1998). „Pravidelné Böhmovy stromy“ (PDF). Matematika. Struct. V Comp. Věda. 8 (6): 671–680. doi:10.1017 / s0960129598002643. Archivovány od originál (PDF) dne 2016-01-24. Citováno 2014-06-19.

• Gérard Huet (2002). „Vyšší sjednocení zakázky o 30 let později“ (PDF). V V. Carreño a C. Muñoz a S. Tahar (ed.). Sborník, 15. mezinárodní konference TPHOL. LNCS. 2410. Springer. s. 3–12. Postscript
• Gérard Huet (2003). Fairouz Kamareddine (ed.). Lineární kontexty a funktor sdílení: Techniky pro symbolický výpočet (PDF). Kluwer. Archivovány od originál (PDF) dne 01.07.2015. Citováno 2014-06-19.

Reference

externí odkazy

• Gérard Huet na Matematický genealogický projekt
• Domovská stránka Gérarda Hueta
• Gérard Huet:

- Sanskritské dědictví: [1]. Vyvolány 29 July 2020.

- Dictionnaire Héritage du Sanscrit: pdf.downloadovatelná verze, pravidelně aktualizovaná autorem: [2]. Vyvolány 29 July 2020.

- Online Verze DICO (domovská stránka): [3]. Vyvolány 29 July 2020.