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
- Concurrency, particularly the process algebra CSP;
- Formal modelling of computer security.
Links
Advice for potential doctoral students
My appointments calendar
Caving home page
Selected Publications
| A Debugger for Communicating Scala Objects Andrew Bate and Gavin Lowe In Peter H. Welch‚ Frederick R. M. Barnes‚ Kevin Chalmers‚ Jan Baekgaard 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. |
| Analysing TLS in the strand spaced model Allaa Kamil and Gavin Lowe In Journal of Computer Security. Vol. 19. No. 5. Pages 975–1025. 2011. |
Info
|
Themes |
|
|
Activities |
|
|
Completed Projects |
|
|
Current Students |
|
|
Past Students |
|
