Tom Melham

Professor Tom Melham FRSE

Professor of Computer Science
Tutorial Fellow, Balliol College

+44 (0)1865 273824
+44 (0)1865 273839 (fax)

Wolfson Building, Parks Road, Oxford OX1 3QD

themes	Verification
activities	Hardware Verification \| Metacomputation
projects	Model Checking Partially Ordered State Spaces
students	Sara Adams \| Peter Boehm \| Ziyad Hanna