Georges Gonthier

Georges Gonthier

George 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[1].

Georges Gonthier a entre autres travaillé[2] sur les langages concurrents et synchrones, en particulier le langage Esterel de Gérard Berry, sur la réduction du lambda-calcul avec Martin Abadi et Jean-Jacques Lévy, et sur la sécurité des communications de processus distribués avec Abadi et Cédric Fournet.

Ses recherches actuelles portent sur l'utilisation des assistants de preuve reposant sur la théorie des types, conçus et utilisés par des logiciens et des informaticiens, dans des domaines plus larges des mathématiques. En 2005, sa vérification automatique de la preuve[3] du théorème des quatre couleurs entièrement formalisée dans le système Coq a mis un terme[4] aux doutes de la communauté mathématique sur la validité des preuves automatisées de ce résultat[5]. Il dirige depuis le groupe Mathematical Components du centre commun Microsoft-INRIA qui travaille sur la formalisation de mathématiques plus fondamentales, dont la théorie des groupes finis.

Voir aussi

Liens externes

Notes et références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Georges Gonthier de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Gonthier — ist ein männlicher Vorname und Familienname. Inhaltsverzeichnis 1 Herkunft und Bedeutung 2 Bekannte Namensträger 2.1 Vorname 2.2 Familienname …   Deutsch Wikipedia

  • Georges Labazée — Mandats Sénateur des Pyrénées Atlantiques Actuellement en fonction …   Wikipédia en Français

  • Georges Mamelonet — en juillet 2010. Mandats Députée de Gaspé …   Wikipédia en Français

  • Georges Patient — Parlementaire français Date de naissance 1er avril 1949 (1949 04 1er) (Erreur d’expressi …   Wikipédia en Français

  • Georges Friedmann — Pour les articles homonymes, voir Friedmann. Georges Philippe Friedmann (Paris, 1902 – Paris 1977) est un sociologue français. Il fut le fondateur, après la Seconde Guerre mondiale d une sociologie du travail humaniste. Après des études en chimie …   Wikipédia en Français

  • Georges Lukacs — Georg Lukács Georg Lukács Naissance 13 avril 1885 Budapest (Autriche Hongrie) Décès 4 juin …   Wikipédia en Français

  • Charles Gonthier — Charles Doherty Gonthier Puisne Justice of the Supreme Court of Canada In office February 1, 1989 – August 1, 2003 Preceded by …   Wikipedia

  • Charles Gonthier — (2007) Charles Doherty Gonthier (né le 1er août 1928 à Montréal mort le 16 juillet 2009) fut un juge de la Cour suprême du Canada du …   Wikipédia en Français

  • Brigitte Gonthier-Maurin — Pour les articles homonymes, voir Maurin. Brigitte Gonthier Maurin Parlementaire français Date de naissance 23 avril 1956 (1956 04 23) …   Wikipédia en Français

  • Saint-Georges (Québec) — Pour les articles homonymes, voir Saint Georges. Saint Georges Saint Georges Est avec le CÉGEP sur le haut de la colline …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”