Tom Melham is a Professor of Computer Science in the University of Oxford and a Fellow of Balliol College, where he is Tutor in Computation. Melham's research is focussed on mathematical methods for assuring quality and correctness of computer systems. For many years, he has worked closely with leading companies in the semiconductor industry on advanced tools and methods for microchip design validation.
His research contributions include results in theorem proving, software architectures for formal reasoning tools, combined model checking and theorem proving, industrial-scale hardware verification, abstraction techniques, integrating formal verification into hardware design methodologies, hardware/software co-design and co-validation, validation of low-level firmware, and validation and analysis of System-on-Chip designs. During 2012-15, he served as Associate Head of Oxford's Mathematical, Physical, and Life Sciences Division, in which role he planned and introduced the University's Impact Acceleration Account for magnifying the external and commercial impact of Oxford's EPSRC-funded research. He served on the Strategic Advisory Network of the EPSRC from its creation in 2011 until 2017 and was a member of the EPSRC ICT Strategic Advisory Team during 2008-12.
He was Chair for five years of the Computer Science Committee of the London Mathematical Society and was also a member of the Technical Advisory Board for Jasper Design Automation from 2008 until its $170M acquisition in 2014 by Cadence Designs Systems. Tom was elected a Fellow of the Royal Society of Edinburgh in 2002 and a Fellow of the British Computer Society in 2015.