John O'Leary

John O'Leary is a Senior Principal Engineer at Intel Corporation, specializing in formal verification with two decades of expertise in high-performance arithmetic algorithms and production RTL design environments. O'Leary has held various roles at Intel, including research group manager and manager of logic verification research. They also served as an Oliver Smithies Visiting Lecturer at Balliol College, University of Oxford, in 2015. O'Leary earned a Ph.D. from Cornell University and holds a M.Sc. from Carleton University and a B.Sc. from the University of Calgary.