Gérard Huet - CaLiGraph

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1947 birth Case Western Reserve University alumnus Chevalier of the Légion d'honneur Living person Member of Academia Europaea Member of the French Academy of Sciences French computer scientist Logician Scientist from Bourges
rdfs:label	Gérard Huet
owl:sameAs	dbr:Gérard_Huet
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1947_births http://en.wikipedia.org/wiki/Category:Chevaliers_of_the_L%C3%A9gion_d'honneur http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Members_of_the_French_Academy_of_Sciences http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_logicians http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:Case_Western_Reserve_University_alumni http://en.wikipedia.org/wiki/Category:Members_of_Academia_Europaea http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science http://en.wikipedia.org/wiki/Herbrand_Award http://en.wikipedia.org/wiki/Category:Scientists_from_Bourges http://en.wikipedia.org/wiki/Category:French_computer_scientists
skos:prefLabel	Gérard Huet
skos:altLabel	Gérard Pierre Huet
clgo:academicDiscipline	Mathematics
clgo:almaMater	University of Paris Case Western Reserve University
clgo:birthDate	1947-07-07
clgo:birthPlace	Cher (department) Bourges
clgo:birthYear	1947
clgo:doctoralAdvisor	Maurice Nivat
clgo:doctoralStudent	Jean-Marie Hullot François Fages Thierry Coquand Xavier Leroy Christine Paulin-Mohring
clgo:knownFor	Caml
is clgo:designer of	Caml
is clgo:doctoralAdvisor of	François Fages Xavier Leroy Christine Paulin-Mohring
is clgo:doctoralStudent of	Maurice Nivat

About: clgr:Gérard_Huet