Andrew D. Gordon - Andrew D. Gordon - Wikipedia

Andrew D. Gordon je britský počítačový vědec zaměstnán u Microsoft Research. Mezi jeho výzkumné zájmy patří programovací jazyk design, formální metody, konkurence, kryptografie, a Řízení přístupu.

Životopis

Gordon získal titul Ph.D. z Univerzita v Cambridge v roce 1992. Do roku 1997 byl Gordon výzkumným pracovníkem na Počítačová laboratoř University of Cambridge. Poté se připojil k Microsoft Research laboratoř v Cambridge v Anglii, kde je hlavním výzkumným pracovníkem ve skupině Programovací principy a nástroje.[1] Je také profesorem na University of Edinburgh.[2]

Výzkum

Gordon je jedním z návrhářů Souběžný Haskell, a funkční programovací jazyk s explicitními primitivy pro konkurence. Je spoluautorem Martin Abadi z spi kalkul, rozšíření π-počet pro formalizované úvahy o kryptografických systémech.[3] On a Luca Cardelli vynalezl okolní počet pro úvahy o mobilní kód.[4] S Moritzem Y. Beckerem a Cédricem Fournetem Gordon také navrhoval SecPAL, a Microsoft specifikační jazyk pro Řízení přístupu opatření.

Ocenění a vyznamenání

Gordonův Ph.D. teze, Funkční programování a vstup / výstup, vyhrál v roce 1993 Cenu Distinguished Dissertation Award Britská počítačová společnost.[5] V roce 2010 zvítězil jeho příspěvek z roku 2000 věnovaný tématě Ambulantního počtu s Lucem Cardellim „Anytime, Anywhere: Modal Logics for Mobile Ambients“. SIGPLAN Nejvlivnější cena papíru POPL.[6]

Reference

  1. ^ Skupina Programování, zásady a nástroje, Microsoft Research, přístup 02.02.2012.
  2. ^ Profil fakulty, Univ. z Edinburghu, vyvoláno 02.02.2012.
  3. ^ Ryan, Peter; Schneider, Steve A. (2001), "9.10 Spi kalkul", Modelování a analýza bezpečnostních protokolů: přístup CSP, Addison-Wesley Professional, str. 234–235, ISBN  978-0-201-67471-2.
  4. ^ Bergstra, J. A .; Ponse, Alban; Smolka, Scott A. (2001), „4.3.3. Ambulantní počet“, Příručka procesní algebry, Elsevier, s. 1026–1028, ISBN  978-0-444-82830-9.
  5. ^ Ocenění, vyznamenání, ceny a soutěže vyhrál, Cambridge Computer Laboratory, přístup 02.02.2012.
  6. ^ Ocenění SIGPLAN Archivováno 2009-08-02 na Wayback Machine, vyvoláno 2012-02-01.

externí odkazy