Richard Ho is involved in formal verification and design methodology for Anton. Richard earned a Ph.D. in computer science from Stanford University, and an M.Eng. and a B.Sc. in microelectronic systems engineering from the University of Manchester Institute of Science and Technology. He came to DESRES from Mentor Graphics, where, as a Principal Engineer, he worked on methodologies for assertion-based and coverage-driven verification. He joined Mentor Graphics in 2004 as part of Mentor's acquisition of 0-In Design Automation, a company he co-founded in 1996. Outside of work, Richard enjoys photography, skiing, and being an active dad.