Tom Melham’s research on formal hardware verification stretches back to the inception of the field. Melham’s academic work has been complemented by decades of close, impact-focussed collaboration with leading companies in the semi

During 2008–14, he served on the Technical Advisory Board for Jasper Design Automation, one of the most successful verification start-ups ever. More recently, he has led a critical-mass EPSRC IAA project to exploit Oxford compilation technology in commercial EDA tools. During 2014–18, Melham chaired the advisory Steering Group for the Cambridge REMS project, which developed the CHERI technology being exploited in the £70m ISCF DSbD Challenge. He served on the top-level Strategic Advisory Network of EPSRC during 2011–17. He was invited to join the EPSRC Cross SAT/SAN Working Group for Quantum Technologies in 2017. Melham also initiated and co-led Oxford’s engagement in the joint venture to establish the UK’s £77m Alan Turing Institute. Melham is a Fellow of the Royal Society of Edinburgh, a Fellow of the BCS, and a Chartered Engineer.