Professor Tom Melham

Tom Melham

Professor Tom Melham

BSc Calgary, MA Oxf, PhD Camb, FRSE, FBCS
Professor of Computer Science, Fellow and Tutor in Computation, and Praefectus of Holywell Manor
(Praefectus's Secretary)...
01865 271508
01865 281370 (Praefectus's Secretary)
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.

As Praefectus, Professor Melham is based at Holywell Manor (Graduate Centre) and has pastoral responsibility and decanal authority there.