Sign In

Gavin Lowe

University Lecturer at University of Oxford

Gavin Lowe is a British academic and professor of computer science at the University of Oxford.1 He is also a tutorial fellow at St Catherine's College, Oxford, and President of the Senior Common Room of St Catherine's College.1 His research interests primarily focus on concurrency, with recent work in concurrent programming, particularly lock-free concurrent algorithms.2

Lowe's academic background includes:

  • Undergraduate studies in mathematics at St John's College, Oxford
  • MSc in computation at the University of Oxford
  • DPhil at St Hugh's College, Oxford, with a thesis titled "Probabilities and Priorities in Timed CSP"1

Key contributions and achievements:

  • Developed the cryptographic protocol analysis tool Casper1
  • Published a significant paper in 1995 detailing an attack on the Needham–Schroeder protocol and proposing a fix, leading to the Needham–Schroeder–Lowe protocol1
  • Co-developed a new joint degree in Computer Science and Philosophy at the University of Oxford in 20121
  • Won teaching awards in 2008 and 20101

Lowe has also served in various academic roles, including:

  • Program Co-chair of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security in 20101
  • Emeritus Professor at the Department of Computer Science, University of Oxford3

Outside of his academic pursuits, Lowe enjoys caving and was previously involved with the Oxford University Cave Club.1

Related Questions

What are Gavin Lowe's main research interests?
How did Gavin Lowe contribute to the field of computer security?
What is the Casper tool developed by Gavin Lowe?
Can you tell me more about Gavin Lowe's work on concurrency?
What awards has Gavin Lowe won for his teaching?
G
Add to my network

Location

Greater Oxford Area