Gavin Lowe
Professor of Computer Science
Department of Computer Science
University of Oxford
United Kingdom
Biography
Gavin Lowe studied Mathematics as an undergraduate, before switching to Computer Science for his masters, doctorate and post-doctoral research, all at Oxford. He 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. He is a Fellow and Tutor in Computer Science, Professor of Computer Science, President of Senior Common Room. He 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. He supervise third and fourth year projects on topics in Computer Security, Concurrency, Concurrent Programming and Automated Verification.
Research Interest
Gavin Lowe's interest includes: Concurrency, particularly the process algebra CSP; Formal modelling of computer security.
Publications
-
Kamil A, Lowe G. Analysing TLS in the strand spaces model. Journal of Computer Security. 2011 Jan 1;19(5):975-1025.
-
Mazur T, Lowe G. A type reduction theory for systems with replicated components. arXiv preprint arXiv:1201.1716. 2012 Jan 9.
-
Bate A, Lowe G. A Debugger for Communicating Scala Objects. InCommunicating Process Architectures 2012 2012 Aug 1.
-
Mazur T, Lowe G. CSP-based counter abstraction for systems with node identifiers. Science of Computer Programming. 2014 Feb 15;81:3-52.
