Professor Tom Melham
BSc Calgary, MA Oxf, PhD Camb, FRSE, FBCS
Professor of Computer Science and Fellow and Tutor in Computation
- 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.