Tom Melham - Short Biography
Tom Melham is a Professor of Computer Science at the University of Oxford
and a Fellow of Balliol College, where he is the Tutor in Computation. He
received his Ph.D. from the University of Cambridge in 1990 for his
foundational research in formal hardware verification and mechanized
reasoning. Melham was also a co-developer of the original HOL theorem
prover for higher order logic at Cambridge. In 1993 he joined the
Computing Science Department at Glasgow University. He was appointed to a
Professorship of Computing Science at Glasgow in 1998, before moving to
Oxford in 2002. He was elected a Fellow of the Royal Society of Edinburgh
in 2002.
His research contributions include publications on theorem proving,
software architectures for formal reasoning tools, combined model
checking and theorem proving, industrial-scale hardware verification,
abstraction techniques, and integrating formal verification into
hardware design methodologies.
Tom Melham,
last updated in September 2009.