Gavin Lowe (computer scientist)
Gavin Lowe | |
|---|---|
| Alma mater | Oxford University |
| Scientific career | |
| Fields | Computer Science |
| Institutions | University of Oxford (from 2000)[1] University of Leicester (until 2000)[2] |
| Thesis | Probabilities and Priorities in Timed CSP (1993) |
| Doctoral advisor | Bill Roscoe |
Gavin Lowe is a British academic. He is a professor of computer science[3] and tutorial fellow at St Catherine's College, Oxford,[1] a professor at the University of Oxford,[3] and President of the Senior Common Room of St Catherine's College, Oxford.[1] His research interests include computer security, for which he developed the cryptographic protocol analysis tool Casper, and concurrency.
Education
[edit | edit source]Lowe studied mathematics as an undergraduate at St John's College, Oxford,[4] then took an MSc in computation at the University of Oxford.[1] He undertook a DPhil at St Hugh's College, Oxford,[5] writing a thesis titled Probabilities and Priorities in Timed CSP.[5][6] He published a paper detailing an attack on the Needham–Schroeder protocol, as well as a method to fix the issue, in 1995.[7][8] The fixed version of the protocol described in the paper is referred to as the Needham–Shroeder–Lowe protocol.[9]
Career
[edit | edit source]His research interests have included computer security, for which he developed the cryptographic protocol analysis tool Casper.[10] This tool translates a security protocol description into CSP, which is then processed by the FDR refinement checker. Recently, he has moved to researching the field of concurrency.[3]
He was Program Co-chair of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security in 2010.[11]
Lowe is a distinguished teacher, having won teaching awards in 2008[12] and 2010.[13][14] Along with Peter Millican, he is responsible for the development and establishment of a new joint degree in Computer Science and Philosophy at the University of Oxford in 2012.[13][15]
Personal life
[edit | edit source]Lowe enjoys caving.[16] He was the secretary of the Oxford University Cave Club from 1988 to 1989, and tackle master in 1990.[4]
References
[edit | edit source]- ^ a b c d Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).