Professor Tom Melham

BSc Calgary, MA Oxf, PhD Camb, FRSE, FBCS
Professor of Computer Science and Fellow and Tutor in Computation

Academic subject(s):

Computer Science
  • Core subject area: Logic of computation, mechanised reasoning, formal verification. 
  • Teaching: All core undergraduate Computer Science papers in the first two years of single honours Computer Science and Joint degrees, plus selected special subjects in later years; logic and set theory for undergraduates reading Mathematics and Philosophy; supervision of graduate students working on topics related to my research. 
  • Research interests: Applications of formal logic; mechanised reasoning; model checking and theorem proving; formal verification; digital circuit design; mathematical modelling of computer systems; reconfigurable hardware and advanced computer architecture; programming language semantics; foundations of systems biology; metacomputation.

Departmental web page