Professor Tom Melham, FRSE FBCS CEng
Professor of Computer Science - University of Oxford
Fellow and Tutor in Computation - Balliol College
Department of Computer Science
ResearchAI 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.