Professor Tom Melham
- 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.