Andrew D. Gordon

Andrew D. Gordon är en brittisk datavetare anställd av Microsoft Research . Hans forskningsintressen inkluderar design av programmeringsspråk , formella metoder , samtidighet , kryptografi och åtkomstkontroll .

Biografi

Gordon tog en doktorsexamen. från University of Cambridge 1992. Fram till 1997 var Gordon forskare vid University of Cambridge Computer Laboratory . Därefter började han på Microsoft Research- laboratoriet i Cambridge, England, där han är en huvudforskare i gruppen Programmeringsprinciper och verktyg. Han innehar också en professur vid University of Edinburgh .

Forskning

Gordon är en av designarna av Concurrent Haskell , ett funktionellt programmeringsspråk med explicita primitiver för samtidighet . Han är co-designer med Martin Abadi av spi calculus, en förlängning av π-kalkylen för formaliserade resonemang om kryptografiska system. Han och Luca Cardelli uppfann omgivningskalkylen för resonemang om mobilkod . Med Moritz Y. Becker och Cédric Fournet designade Gordon också SecPAL , ett Microsoft- specifikationsspråk för åtkomstkontrollpolicyer .

Utmärkelser och utmärkelser

Gordons Ph.D. avhandling, Functional Programming and Input/Output , vann 1993 års Distinguished Dissertation Award av British Computer Society . Hans uppsats från 2000 om ämnet omgivningskalkyl med Luca Cardelli, "Anytime, Anywhere: Modal Logics for Mobile Ambients", vann 2010 SIGPLAN Most Influential POPL Paper Award.

externa länkar

• Hemsida på Microsoft Research
• Andrew D. Gordons publikationer indexerade av Google Scholar