About: Georges Gonthier

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Georges Gonthier Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Georges Gonthier (fr) Georges Gonthier (en) Georges Gonthier (pt) جورج جونثير (arz)
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. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0003_8169_0324 https://zbmath.org/authors/?q=ai:gonthier.georges https://www.whoswho.fr/bio/georges-gonthier_65700
sameAs	Georges Gonthier Georges Gonthier Georges Gonthier Georges Gonthier Georges Gonthier Georges Gonthier Georges Gonthier Georges Gonthier Georges Gonthier
birth place	dbpedia-fr:Montréal
Wikipage page ID	3390529 (xsd:integer)
Wikipage revision ID	184428074 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Personnalité_en_langages_de_programmation category-fr:Personnalité_en_méthodes_formelles 2011 Proof assistant dbpedia-fr:Benjamin_Werner dbpedia-fr:Canada category-fr:Personnalité_canadienne_en_informatique category-fr:Personnalité_en_informatique_théorique category-fr:Théorie_des_types dbpedia-fr:Coq_(logiciel) Esterel dbpedia-fr:Fondation_d'entreprise_Airbus_Group France Roman Britain Finite group dbpedia-fr:Gérard_Berry French Institute for Research in Computer Science and Automation Lambda calculus dbpedia-fr:Théorie_des_types dbpedia-fr:Théorème_de_Feit-Thompson Four color theorem École Polytechnique dbpedia-fr:Cédric_Fournet dbpedia-fr:Jean-Jacques_Lévy Martín Abadi Microsoft Research
Link from a Wikipage to an external page	http://www.fondation.eads.com/content/fr/Recherche-fondamentale/Prix/Prix-de-la-Fondation/Archives/Laureats-2011/ http://www.msr-inria.inria.fr/Projects/math-components http://www.enseignement.polytechnique.fr/informatique/profs/Georges.Gonthier/ http://research.microsoft.com/en-us/people/gonthier/
page length (characters) of wiki page	4586 (xsd:nonNegativeInteger)
dct:subject	category-fr:Personnalité_en_langages_de_programmation category-fr:Personnalité_en_méthodes_formelles category-fr:Personnalité_canadienne_en_informatique category-fr:Personnalité_en_informatique_théorique category-fr:Théorie_des_types
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
prov:wasDerivedFrom	wikipedia-fr:Georges_Gonthier?oldid=184428074&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Georges_Gonthier
employer	Microsoft Research
has 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. (fr)
citizenship	dbpedia-fr:Canada
occupation	Computer scientist
discipline	Computer science dbpedia-fr:Logique_mathématique
is dbo:wikiPageWikiLink of	dbpedia-fr:Benjamin_Werner Christine Paulin-Mohring dbpedia-fr:Coq_(logiciel) dbpedia-fr:Gonthier dbpedia-fr:Prix_de_la_fondation_Airbus_Group dbpedia-fr:Théorème_de_Feit-Thompson Four color theorem
is oa:hasTarget of	Pt labels Arz labels En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Georges_Gonthier

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software