Gavin is Professor of Computer Science, and is interested in Concurrency, particularly lock-free concurrent datatypes, and ways of analysing them.