This HTML5 document contains 81 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://www.idref.fr/033817391/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n25http://g.co/kg/m/
n27http://www.enseignement.polytechnique.fr/informatique/profs/Georges.Gonthier/
schemahttp://schema.org/
n21http://arz.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n23http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n26http://isni.org/isni/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n9https://zbmath.org/authors/?q=ai:
n13http://fr.dbpedia.org/resource/Modèle:
n20http://research.microsoft.com/en-us/people/gonthier/
n16http://viaf.org/viaf/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n24https://www.whoswho.fr/bio/
owlhttp://www.w3.org/2002/07/owl#
n19http://data.bnf.fr/ark:/12148/cb12463626f#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n22https://dblp.org/pid/40/
n28http://www.fondation.eads.com/content/fr/Recherche-fondamentale/Prix/Prix-de-la-Fondation/Archives/Laureats-2011/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://www.msr-inria.inria.fr/Projects/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Georges_Gonthier
rdf:type
dbo:Person wikidata:Q5 wikidata:Q729 wikidata:Q19088 n23:NaturalPerson wikidata:Q215627 dbo:Animal foaf:Person owl:Thing dbo:Eukaryote dbo:Species schema:Person
rdfs:label
Georges Gonthier Georges Gonthier جورج جونثير Georges Gonthier
rdfs:comment
Georges Gonthier est un chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France. Ses domaines d'intérêt sont la conception des langages de programmation et leur sémantique, la théorie de la concurrence en programmation et son application à la sécurité, les méthodes et les outils pour la vérification formelle des programmes informatiques et des théories mathématiques. Il est notamment connu pour le développement complet, mécaniquement vérifié par ordinateur de la démonstration du théorème des quatre couleurs.
rdfs:seeAlso
n9:gonthier.georges n24:georges-gonthier_65700 n26:0000_0003_8169_0324
owl:sameAs
dbr:Georges_Gonthier n16:262324638 n18:id n19:about wikidata:Q5546810 n21:جورج_جونثير n22:3912 n25:0r4y08b dbpedia-pt:Georges_Gonthier
dbo:birthPlace
dbpedia-fr:Montréal
dbo:wikiPageID
3390529
dbo:wikiPageRevisionID
184428074
dbo:wikiPageWikiLink
dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique category-fr:Théorie_des_types dbpedia-fr:Microsoft_Research dbpedia-fr:Groupe_fini dbpedia-fr:Esterel_(langage) dbpedia-fr:Théorie_des_types dbpedia-fr:Coq_(logiciel) category-fr:Personnalité_canadienne_en_informatique category-fr:Personnalité_en_informatique_théorique dbpedia-fr:2011 dbpedia-fr:Théorème_des_quatre_couleurs category-fr:Personnalité_en_méthodes_formelles dbpedia-fr:France dbpedia-fr:Lambda-calcul dbpedia-fr:Grande-Bretagne dbpedia-fr:Canada dbpedia-fr:Martín_Abadi dbpedia-fr:Fondation_d'entreprise_Airbus_Group dbpedia-fr:Benjamin_Werner dbpedia-fr:École_polytechnique_(France) dbpedia-fr:Assistant_de_preuve dbpedia-fr:Cédric_Fournet dbpedia-fr:Théorème_de_Feit-Thompson category-fr:Personnalité_en_langages_de_programmation dbpedia-fr:Gérard_Berry dbpedia-fr:Jean-Jacques_Lévy
dbo:wikiPageExternalLink
n14:math-components n20: n27: n28:
dbo:wikiPageLength
4586
dct:subject
category-fr:Personnalité_canadienne_en_informatique category-fr:Personnalité_en_informatique_théorique category-fr:Théorie_des_types category-fr:Personnalité_en_méthodes_formelles category-fr:Personnalité_en_langages_de_programmation
prop-fr:wikiPageUsesTemplate
n13:Infobox_Biographie2 n13:Date- n13:Portail n13:Ébauche n13:Références
prov:wasDerivedFrom
wikipedia-fr:Georges_Gonthier?oldid=184428074&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Georges_Gonthier
dbo:employer
dbpedia-fr:Microsoft_Research
dbo:abstract
Georges Gonthier est un chercheur canadien en informatique, effectuant sa recherche en Grande-Bretagne et en France. Ses domaines d'intérêt sont la conception des langages de programmation et leur sémantique, la théorie de la concurrence en programmation et son application à la sécurité, les méthodes et les outils pour la vérification formelle des programmes informatiques et des théories mathématiques. Il est notamment connu pour le développement complet, mécaniquement vérifié par ordinateur de la démonstration du théorème des quatre couleurs.
dbo:citizenship
dbpedia-fr:Canada
dbo:occupation
dbpedia-fr:Informaticien
dbo:discipline
dbpedia-fr:Informatique dbpedia-fr:Logique_mathématique