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 : fr.dbpedia.org associated with source document(s)

Attributes	Values
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)
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
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

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, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software