Gavin Lowe (počítačový vědec) - Gavin Lowe (computer scientist) - Wikipedia

Tento článek je o počítačovém vědci. Ragbyový hráč viz Gavin Lowe.
Gavin Lowe
Národnostbritský
Alma materOxfordská univerzita
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of Oxford (od roku 2000)[1]University of Leicester (do roku 2000)[2]
TezePravděpodobnosti a priority v časovaném CSP  (1993)
Doktorský poradceBill Roscoe

Gavin Lowe je britský akademik. Je profesorem počítačová věda[3] a tutorial fellow ve společnosti College sv. Kateřiny v Oxfordu,[1] profesor na University of Oxford,[3] a Prezident z Společenská místnost pro seniory of St Catherine's College, Oxford.[1] Mezi jeho výzkumné zájmy patří zabezpečení počítače, pro kterou vyvinul analýza kryptografického protokolu nářadí Casper, a konkurence.

Vzdělávání

Lowe studoval matematika jako vysokoškolák v St John's College, Oxford,[4] pak vzal MSc v výpočet na University of Oxford.[1] Zavázal se DPhil na St Hugh's College v Oxfordu,[5] psaní diplomové práce s názvem Pravděpodobnosti a priority v časovaném CSP.[5][6] Publikoval dokument popisující útok na Needham – Schroederův protokol, jakož i způsob řešení problému v roce 1995.[7][8] Pevná verze protokolu popsaná v článku se označuje jako protokol Needham – Shroeder – Lowe.[9]

Kariéra

Jeho výzkumné zájmy zahrnovaly zabezpečení počítače, pro kterou vyvinul analýza kryptografického protokolu nářadí Casper.[10] Tento nástroj převádí popis bezpečnostního protokolu do CSP, který je poté zpracován FDR kontrola zdokonalení. Nedávno přešel k výzkumu oblasti konkurence.[3]

V roce 2010 byl spolupředsedou Společného semináře o automatizovaném uvažování o analýze bezpečnostního protokolu a problémech v teorii bezpečnosti.[11]

Lowe je význačný učitel, který v roce 2008 získal ocenění za výuku[12] a 2010.[13][14] Spolu s Peter Millican je odpovědný za vývoj a zřízení nového společný titul v Počítačová věda a filozofie na Oxfordské univerzitě v roce 2012.[13][15]

Osobní život

Lowe si užívá zával.[16] Byl tajemníkem Oxford University Cave Club od roku 1988 do roku 1989 a řešit mistr v roce 1990.[4]

Reference

  1. ^ A b C d „Gavin lowe“. College sv. Kateřiny v Oxfordu. Citováno 10. února 2018.
  2. ^ „Ex-Staff - University of Leicester“. University of Leicester. Citováno 10. února 2018.
  3. ^ A b C „Gavin Lowe“. Katedra informatiky, University of Oxford. Citováno 10. února 2018.
  4. ^ A b „OU Cave Club History“. www.oucc.org.uk. Citováno 11. února 2018.
  5. ^ A b Lowe, Gavin (1994). Pravděpodobnosti a priority v načasovaném CSP (DPhil). University of Oxford.
  6. ^ „Publikace Gavina Loweho“. University of Oxford. Citováno 10. února 2018.
  7. ^ Lowe, Gavin (listopad 1995). „Útok na ověřovací protokol veřejného klíče Needham-Schroeder“. Dopisy o zpracování informací. 56 (3): 131–136. CiteSeerX  10.1.1.394.6094. doi:10.1016/0020-0190(95)00144-2. Citováno 17. dubna 2008.
  8. ^ „Kryptografie je tvrdá“.
  9. ^ Počítačová bezpečnost, ESORICS 96: 4. evropské symposium o výzkumu v počítačové bezpečnosti, Řím, Itálie, 25. – 27. Září 1996: sborník. Bertino, Elisa. Berlín: Springer. 1996. ISBN  9783540617709. OCLC  35364818.CS1 maint: ostatní (odkaz)
  10. ^ „Casper: kompilátor pro analýzu bezpečnostních protokolů“. University of Oxford. Citováno 10. února 2018.
  11. ^ Armando, Alessandro; Lowe, Gavin, eds. (27. – 28. Března 2010). "Automatizované zdůvodnění analýzy bezpečnostních protokolů a problémů v teorii zabezpečení". Přednášky z informatiky. Springer. 6186: 185.
  12. ^ „Dodatek (1) k věstníku č. 4857“ (PDF). University of Oxford. 22. října 2008. str. 3. Archivovány od originál (PDF) dne 24. února 2018. Citováno 11. února 2018.
  13. ^ A b „Dodatek (1) k věstníku č. 4931, svazek 141“ (PDF). University of Oxford. 27. října 2010. s. 1.
  14. ^ „Vyhlášeni vítězové ceny Teaching Excellence Awards“. Katedra informatiky, University of Oxford. 5. července 2010.
  15. ^ Alice Lighton (22. října 2010). „NOVINKY Nový titul: zpracovávám, proto jsem“. Oxford Student.
  16. ^ „Jeskynní stránka Gavina Loweho“. Citováno 10. února 2018.