MA, DPhil, MBCS, CEng, CITP
Deputy Director of the Software Engineering Programme; University Lecturer in Software Engineering; IT Fellow and Dean of Degrees, Kellogg College.
Architectures for distributed software; rigorous description of software services; security as a property of distributed systems; hardware-rooted trust; trusted platforms for Grid applications.
List of projects that you are associated with.
BA Mathematics and Computation, University of Oxford (1986-1989); Software Engineer, Praxis plc (1989-1991); DPhil Machine-Assisted Theorem Proving for Software Engineering, University of Oxford (1991-1994); Research Officer, University of Oxford (1994-1995); Research Fellow, The University of Queensland (1996-1998); Lecturer, University of Southampton (1998-1999).