University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Gavin Lowe

Personal photo - Gavin Lowe
Gavin Lowe (On sabbatical TT 2011)
Professor of Computer Science
Tutorial Fellow, St Catherine's College
+44 1865 273841

Wolfson Building, Parks Road, Oxford OX1 3QD



Advice for potential doctoral students

My appointments calendar

Caving home page

Selected Publications

View all

Manage publications

CSP−based counter abstraction for systems with node identifiers

Tomasz Mazur and Gavin Lowe

In Science of Computer Programming. 2013.

A Debugger for Communicating Scala Objects

Andrew Bate and Gavin Lowe

In Peter H. Welch‚ Frederick R. M. Barnes‚ Kevin Chalmers‚ Jan Bækgaard Pedersen and Adam T. Sampson, editors, Communicating Process Architectures 2012. Pages 135–154. August, 2012.

A type reduction theory for systems with replicated components

Tomasz Mazur and Gavin Lowe

In Logical Methods in Computer Science. 2012.




Completed Projects

Current Students

Past Students

Personal photo - Tomasz Mazur
Tomasz Mazur
Personal photo - Toby Murray
Toby Murray