Tom Melham - Former Graduate Students
Peter Boehm:
Incremental Modelling for Verified Communication Architectures
(DPhil Oxford, 2011)
Ziyad Hanna:
A Symbolic Execution Framework for Algorithm-Level Modelling and Verification of Computer Microarchitecture
(DPhil Oxford, 2011)
Ed Smith:
Specifying Properties for Generalized Symbolic Trajectory Evaluation
(DPhil Oxford, 2008)
Ashish Darbari:
Symmetry Reduction for STE Model Checking using Structured Models
(DPhil Oxford, 2006)
Claire Quigley:
A Programming Logic for Java Bytecode Programs
(PhD Glasgow, 2004)
Kong Woei Susanto:
A Verification Platform for System on Chip
(PhD Glasgow, 2003)
Michael Dales:
Managing a Reconfigurable Processor in a General Purpose Workstation Environment
(PhD Glasgow, 2003)
Graham Collins:
Supporting Formal Reasoning about Functional Programming
(PhD Glasgow, 2001)
Tom Melham
, last updated in December 2011.