Gavin Lowe

MA, MSc, DPhil Oxf
Fellow and Tutor in Computer Science
Professor of Computer Science
President of Senior Common Room


I teach a broad range of subjects in tutorials at Catz, including the first year programming courses, and the second year Concurrency and Models of Computation courses.  I supervise third and fourth year projects on topics in Computer Security, Concurrency, Concurrent Programming and Automated Verification.

About me

I studied Mathematics as an undergraduate, before switching to Computer Science for my masters, doctorate and post-doctoral research, all at Oxford. I then lectured at the University of Leicester, before returning to Oxford in 2000 as a University Lecturer, and Fellow in Computer Science at St Catz.


Most of my research in the past has been on Computer Security, particularly Security Protocols: I have developed various techniques for analysing securityprotocols, either to prove them correct, or to find attacks upon them.

I have also carried out research in Concurrency, both building mathematical models of different aspects of concurrent systems, and developing techniques and tools for their automated verification.

Recently I have become interested in Concurrent Programming, developing algorithms to exploit modern multi-core technology.

I am happy to supervise graduate students in any of the above areas.