About: Gérard Huet

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Gérard Huet Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFrenchPeople, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type:

http://dbpedia.demo.openlinksw.com/c/3gpokiPg7G

Gérard Pierre Huet (French: [y.ɛ]; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and to the theory of computation.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species yago:WikicatCaseWesternReserveUniversityAlumni yago:WikicatComputerScientists schema:Person yago:WikicatLivingPeople yago:WikicatPeopleFromBourges yago:WikicatSupélecAlumni Scientist yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Engineer109615807 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatFormalMethodsPeople yago:WikicatFrenchComputerScientists yago:WikicatFrenchEngineers yago:WikicatFrenchPeople
rdfs:label	جيرار هويت (ar) Gérard Huet (ca) Gérard Huet (de) Gérard Huet (en) Gérard Huet (es) Gérard Huet (fr) Юэ, Жерар (ru)
rdfs:comment	جيرار هويت (بالفرنسية: Gérard Huet)‏ هو مهندس وعالم حاسوب فرنسي، ولد في 7 يوليو 1947 في بورج في فرنسا. (ar) Gérard Huet (* 7. Juli 1947 in Bourges) ist ein französischer Informatiker. (de) Gérard Pierre Huet (French: [y.ɛ]; born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and to the theory of computation. (en) Gérard Huet (Bourges, 7 de julio de 1947) es un informático teórico, lingüista y matemático francés, miembro de la Academia de Ciencias de Francia, del Instituto de Francia y de la Academia Europæa, y director emérito del INRIA. Es conocido por sus contribuciones a la teoría del lenguaje de programación y a la teoría del lenguaje de computación. (es) Gérard Huet (né le 7 juillet 1947 à Bourges) est un logicien et chercheur en informatique théorique français. Il est membre de l’Académie des sciences de l’Institut de France, dans la section Sciences mécaniques et Informatique. (fr) Жерар Пьер Юэ (фр. Gérard Huet) — французский учёный в области информатики, математики и лингвистики. Является главным научным директором по исследованиям в INRIA и наиболее известен благодаря значительному вкладу в теорию типов, теорию языка программирования и теорию алгоритмов. (ru) Gérard Huet (Bourges, 7 de juliol de 1947) és un informàtic teòric, lingüista i matemàtic francès, director emèrit de recerca de l' (INRIA), conegut per les seves contribucions a la teoria del llenguatge de programació i a la teoria de la computació. Huet va rebre el el 1998, el premi de l' el 2009, i ha estat el primer guanyador del Gran premi Inria el 2011. (ca)
foaf:name	Gérard Huet (en)
name	Gérard Huet (en)
birth place	Bourges
birth place	Bourges, France (en)
birth date	1947-07-07 (xsd:date)
dcterms:subject	1947 births Living people University of Paris alumni Case Western Reserve University alumni French computer scientists Chevaliers of the Légion d'honneur Members of the French Academy of Sciences Members of Academia Europaea Formal methods people Scientists from Bourges
Wikipage page ID	18651665 (xsd:integer)
Wikipage revision ID	1103076654 (xsd:integer)
Link from a Wikipage to another Wikipage	Caml Carnegie Mellon University Case Western Reserve University Sanskrit Coq proof assistant Bourges University of Paris University of Texas at Austin 1947 births Living people University of Paris alumni Mathematics Maurice Nivat SRI International Christine Paulin-Mohring François Fages Conference on Automated Deduction Arc-et-Senans Les Arcs Calculus of constructions Simply typed lambda calculus Completeness (logic) Computational linguistics Functional programming Programming language theory Theory of computation Bangkok Case Western Reserve University alumni Type theory Academia Europaea

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 71 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software