Andrew D. Gordon ist ein britischer von Microsoft Research angestellter Computerwissenschaftler. Seine Forschungsinteressen schließen Programmiersprache-Design, formelle Methoden, Parallelität, Geheimschrift und Zugriffskontrolle ein.

Lebensbeschreibung

Gordon hat einen Dr. von der Universität des Cambridges 1992 verdient. Bis 1997 war Gordon ein Forschungsgefährte an der Universität des Computerlaboratoriums von Cambridge. Er hat sich dann dem Microsoft Research laboratory bei Cambridge, England angeschlossen, wo er ein Hauptforscher in der Programmiergrundsatz- und Werkzeug-Gruppe ist. Er hält auch eine Professur an der Universität Edinburghs.

Forschung

Gordon ist einer der Entwerfer von Gleichzeitigem Haskell, einer funktionellen Programmiersprache mit ausführlichen Primitiven für die Parallelität. Er ist der Co-Entwerfer mit Martin Abadi von spi Rechnung, einer Erweiterung des π-calculus für das formalisierte Denken über kryptografische Systeme. Er und Luca Cardelli haben die umgebende Rechnung erfunden, um über den beweglichen Code vernünftig zu urteilen. Mit Moritz Y. Becker und Cédric Fournet hat Gordon auch SecPAL, eine Spezifizierungssprache von Microsoft für Zugriffskontrollpolicen entworfen.

Preise und Ehren

Die Doktorarbeit von Gordon, Funktionelle Programmierung und Eingang/Produktion, hat 1993 Ausgezeichneter Doktorarbeit-Preis der britischen Computergesellschaft gewonnen. Sein 2000-Papier auf der umgebenden Rechnung unterwirft mit Luca Cardelli, "Jederzeit Überall: Die Modale Logik für Beweglichen Ambients" hat der 2010-SIGPLAN Einflussreichster POPL Papierpreis gewonnen.

Links

• Hausseite an Microsoft Research
• Gelehrtenprofil von Google