Photo of Tom Melham Professor Tom Melham, FRSE FBCS CEng

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

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

Email: Tom.Melham at cs.ox.ac.uk
Telephone: +44 (0)1865 273824
Fax: +44 (0)1865 273839


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

Research

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

Professional

Teaching


Tom Melham, last updated Tue 27 Jun 2017 04:22:49 BST.