About: http://fr.dbpedia.org/resource/Thierry

Property	Value
dbo:abstract	Thierry Coquand (né le 18 avril 1961 à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet. (fr) Thierry Coquand (né le 18 avril 1961 à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet. (fr)
dbo:almaMater	dbpedia-fr:École_normale_supérieure_(Paris)
dbo:award	dbpedia-fr:Prix_ACM_Software_System
dbo:birthPlace	dbpedia-fr:Isère_(département)
dbo:citizenship	dbpedia-fr:France
dbo:discipline	dbpedia-fr:Informatique
dbo:doctoralAdvisor	dbpedia-fr:Gérard_Huet
dbo:doctoralStudent	wikidata:Q102353590 wikidata:Q102353591 wikidata:Q102353592 wikidata:Q102353594 wikidata:Q102353595 wikidata:Q102357091 wikidata:Q102431244
dbo:employer	dbpedia-fr:Université_de_Göteborg dbpedia-fr:École_polytechnique_Chalmers
dbo:occupation	dbpedia-fr:Informaticien dbpedia-fr:Ingénieur dbpedia-fr:Mathématicien
dbo:thumbnail	wiki-commons:Special:FilePath/Thierry_Coquand.jpg?width=300
dbo:wikiPageExternalLink	http://www.cse.chalmers.se/~coquand/
dbo:wikiPageID	5637965 (xsd:integer)
dbo:wikiPageLength	1644 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	171681573 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Association_for_Computing_Machinery dbpedia-fr:Bourgoin-Jallieu dbpedia-fr:Calcul_des_constructions category-fr:Logicien_français category-fr:Mathématicien_français_du_XXIe_siècle category-fr:Mathématicien_français_du_XXe_siècle category-fr:Naissance_en_Isère category-fr:Naissance_en_avril_1961 category-fr:Personnalité_en_informatique_théorique category-fr:Professeur_à_l'université_de_Göteborg dbpedia-fr:Constructivisme_(mathématiques) dbpedia-fr:Coq_(logiciel) dbpedia-fr:Gérard_Huet dbpedia-fr:Informatique_théorique dbpedia-fr:Isère_(département) dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Suède dbpedia-fr:Université_de_Göteborg
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Date dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Ébauche dbpedia-fr:Modèle:Bases_recherche
dct:subject	category-fr:Logicien_français category-fr:Mathématicien_français_du_XXIe_siècle category-fr:Mathématicien_français_du_XXe_siècle category-fr:Naissance_en_Isère category-fr:Naissance_en_avril_1961 category-fr:Personnalité_en_informatique_théorique category-fr:Professeur_à_l'université_de_Göteborg
rdf:type	owl:Thing foaf:Person dbo:Person schema:Person wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dul:NaturalPerson dbo:Animal dbo:Eukaryote dbo:Species
rdfs:comment	Thierry Coquand (né le 18 avril 1961 à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet. (fr) Thierry Coquand (né le 18 avril 1961 à Jallieu en Isère) est un mathématicien français, professeur d'informatique théorique à l'Université de Göteborg en Suède. Il est connu pour son travail sur les mathématiques constructives, en particulier le calcul des constructions. Il a eu pour directeur de thèse Gérard Huet. (fr)
rdfs:label	Thierry Coquand (fr) Thierry Coquand (en) Thierry Coquand (sv) Кокан, Тьерри (ru) ثيرى كوكواند (arz)
rdfs:seeAlso	http://isni.org/isni/0000_0000_8328_1119 https://commons.wikimedia.org/wiki/Category:Thierry_Coquand_(computer_scientist) https://dl.acm.org/author_page.cfm?id=81548011062 https://ncatlab.org/nlab/show/Thierry_Coquand https://zbmath.org/authors/?q=ai:coquand.thierry http://genealogy.math.ndsu.nodak.edu/id.php?id=137164
owl:sameAs	dbr:Thierry_Coquand dbpedia-commons:Category:Thierry_Coquand_(computer_scientist) wikidata:Q3524190 http://arz.dbpedia.org/resource/ثيرى_كوكواند dbpedia-de:Thierry_Coquand http://mg.dbpedia.org/resource/Thierry_Coquand dbpedia-ru:Кокан,_Тьерри dbpedia-sv:Thierry_Coquand http://www.idref.fr/139931422/id http://viaf.org/viaf/117236995 https://dblp.org/pid/59/3944 https://id.loc.gov/authorities/names/n00016832 http://g.co/kg/m/0gtwsc9 https://data.bibliotheken.nl/doc/thes/p213085054 https://d-nb.info/gnd/122538900
prov:wasDerivedFrom	wikipedia-fr:Thierry_Coquand?oldid=171681573&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Thierry_Coquand.jpg
foaf:isPrimaryTopicOf	wikipedia-fr:Thierry_Coquand
is dbo:doctoralStudent of	dbpedia-fr:Gérard_Huet
is dbo:wikiPageDisambiguates of	dbpedia-fr:Coquand
is dbo:wikiPageWikiLink of	dbpedia-fr:1961_en_science dbpedia-fr:Calcul_des_constructions dbpedia-fr:Christine_Paulin-Mohring dbpedia-fr:Coq_(logiciel) dbpedia-fr:Coquand dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Erreur_scientifique dbpedia-fr:Fondements_univalents dbpedia-fr:Liste_d'informaticiens_et_précurseurs_de_l'informatique dbpedia-fr:Prix_ACM_Software_System dbpedia-fr:Théorie_des_types dbpedia-fr:Théorie_des_types_homotopiques
is oa:hasTarget of	tag-fr:SvFrResource tag-fr:ArzFrResource tag-fr:RuFrResource tag-fr:EnFrResource tag-fr:WdtFrResource
is foaf:primaryTopic of	wikipedia-fr:Thierry_Coquand

About: http://fr.dbpedia.org/resource/Thierry_Coquand