Photo of Tom Melham Professor Tom Melham, FRSE FBCS CEng

Professor of Computer Science - University of Oxford
Fellow and Tutor in Computation - Balliol College
Praefectus of Holywell Manor

Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD, England

Email: Tom.Melham at
Telephone: +44 (0)1865 273824

* Short Bio * LinkedIn * Publications * BiBTeX * Research Group * Computer Science Department * MPLS Division * Oxford University * Balliol College * Balliol MCR *


Applications of formal logic; mechanised reasoning; model checking and theorem proving; firmware verification; software verification; systems on chip; formal hardware verification; digital circuit design; programming language semantics. Many of my publications are available online.

Graduate Students