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 : wikidata:Q901, within Data Space : el.dbpedia.org associated with source document(s)

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 person scientist animal eukaryote species dul:NaturalPerson foaf:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901
rdfs:label	Gérard Huet (en)
rdfs:comment	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)
sameAs	Gérard Huet
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:BLP_sources dbt:Birth_date_and_age dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Cite_thesis dbt:IPA-fr dbt:Reflist dbt:Cite_techreport dbt:Infobox_scientist dbt:MathGenealogy dbt:EATCS_Award_laureates
Subject	1947 births Case Western Reserve University alumni Chevaliers of the Légion d'honneur People from Bourges University of Paris alumni Formal methods people French computer scientists Living people Members of Academia Europaea Members of the French Academy of Sciences
birth date	1947-07-07 (xsd:date)
foaf:name	Gérard Huet (en)
gold:hypernym	Scientist
doctoral advisor	Maurice Nivat
doctoral student	François Fages Xavier Leroy Jean-Marie Hullot Christine Paulin-Mohring Thierry Coquand
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Gérard_Huet?oldid=1067653795&ns=0
Wikipage page ID	18651665 (xsd:integer)
page length (characters) of wiki page	12369 (xsd:nonNegativeInteger)
Wikipage revision ID	1067653795 (xsd:integer)
Link from a Wikipage to another Wikipage	François Fages Programming language theory Unification (computer science) X-machine Xavier Leroy Academia Europaea Alonzo Church Arc-et-Senans Asian Institute of Technology Bangkok University of Paris University of Texas at Austin Bourges Calculus of constructions Caml Carnegie Mellon University Case Western Reserve University 1947 births Case Western Reserve University alumni Chevaliers of the Légion d'honneur People from Bourges University of Paris alumni French Academy of Sciences French Institute for Research in Computer Science and Automation Gilles Kahn Formal methods people French computer scientists Living people Members of Academia Europaea Members of the French Academy of Sciences Donald Knuth Jean-Marie Hullot Zipper (data structure) Christine Paulin-Mohring Sanskrit Completeness (logic) Computational linguistics Conference on Automated Deduction Coq Paris Paris Diderot University SRI International Functional programming Symposium on Logic in Computer Science Type theory European Association for Theoretical Computer Science Theory of computation

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (82 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software