Search

Select a category:

Tom Melham

Tom Melham, Lecturer in Computer Science

  • Tom Melham

Tom Melham is Professor of Computer Science at the University of Oxford and a Fellow of Balliol College

Hi research interests include 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.