Professor of Computer Science, University of Oxford
Professor Thomas Melham is a Professor of Computer Science at the University of Oxford. He is a pioneer and international leader in research and applications of formal hardware verification, a mathematical technique that uses automated reasoning software to find and eliminate errors in the design of computer chips before they are manufactured. His work has had significant, transformative, and enduring impact on products, processes, and practices in leading semiconductor design companies worldwide, and with commercial providers of electronic design automation tools.
Professor Tom Melham FREng FRSE