www.comlab.ox.ac.uk/tom.melham/index.html

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

Links

Themes	Verification
Activities	Hardware Verification \| Metacomputation
Projects	Model Checking Partially Ordered State Spaces \| Verified Communication Protocols for Multicore/SoC Architectures
Students	Sara Adams \| Peter Boehm \| Ziyad Hanna