Georges Gonthier

Georges Gonthier ist ein kanadischer Computerwissenschaftler, die Durchführung von seiner Forschung in Großbritannien und Frankreich. Seine Interessensgebiete sind das Design von Programmiersprachen und deren Semantik, Programmierung und Anwendungssicherheit Wettbewerbstheorie, Methoden und Werkzeuge für die formale Verifikation von Computerprogrammen und mathematische Theorien. Es ist besonders für die komplette Entwicklung bekannt ist, mechanisch überprüft den Computer Beweis des Vierfarbensatz.

Werke und Auszeichnungen

Georges Gonthier hat unter anderem arbeitete an Konkurrenten und Synchronsprachen, insbesondere des Esterel Sprache Gérard Berry, auf die Verringerung der Lambda-Kalkül mit Martín Abadi und Jean-Jacques Lévy und Prozesssicherheit der Kommunikation mit Abadi und verteilt Cédric Fournet.

Seine aktuelle Forschung konzentriert sich auf die Verwendung von Beweisassistenten basierend auf Typentheorie, entworfen und durch Logiker und Informatiker in breiteren Bereichen der Mathematik verwendet. Im Jahr 2005 hat die automatische Überprüfung der Beweis des Satzes der vier Farben im Coq System vollständig formalisiert ein Ende der mathematischen Gemeinschaft der Zweifel an der Gültigkeit dieses Ergebnisses automatisierten Nachweis gestellt. Er führt von der Mathematical Components Group von Microsoft-INRIA Joint Center arbeiten an Formalisierung elementarsten Mathematik, die Theorie der endlichen Gruppen. George Gonthier erhielt den Grand Prix "Informatik" der EADS-Unternehmensstiftung im Jahr 2011.

Der 20. September 2012, Er kündigte an, nachdem beendet die Formalisierung in Coq Beweis Feit-Thompson-Theorem, nach 6 Jahren Arbeit mit seinem Team. Dieses Ergebnis erlaubt es, Zustandskorrektur Nachweis der 250 Seiten im Jahr 1963 geschrieben.

Ähnliche Artikel

  • Benjamin Werner
(0)
(0)
Kommentare - 0
Keine Kommentare

Fügen Sie einen Kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Zeichen übrig: 3000
captcha