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
gavin.lowe@cs.ox.ac.uk
+44 1865 273841

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Links

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.

Info

Themes

Activities

Completed Projects

Current Students

Past Students

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