Photo of Tom Melham Professor Tom Melham, FRSE FBCS CEng

Professor of Computer Science - University of Oxford
Fellow and Tutor in Computation - 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


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

Research

AI and technology in legal services and the justice system. Testing and evaluation of AI-based systems. 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