Tom Melham

Tom Melham is Professor of Computer Science at the University of Oxford, Tutorial Fellow at Balliol College, and Fellow of the Royal Society of Edinburgh. His research develops formal methods for hardware and software verification, with recent focus on security applications and neural network verification.

Research interests include automated theorem proving, symbolic trajectory evaluation, hardware/software co-verification, and security assurance methods. Recent work applies formal verification to processor security, vulnerability management, and deep learning systems.

Publications demonstrate foundational contributions to hardware verification methodologies, with increasing focus on security engineering and machine learning verification in recent years. Research integrates theoretical advances with practical industrial applications.

Melham directs projects on processor security verification, automated exploit generation, and hybrid approaches to memory safety. He teaches computer science and law courses while advising graduate students in formal methods research.