Richard Ho is a Principal Hardware Engineer in Google Technical Infrastructure working on Google’s custom silicon solutions such as the Cloud TPU. Richard co-founded and was Chief Architect of 0-In Design Automation from 1996-2005, pioneering advanced chip verification techniques such as semi-formal property verification, clock-domain crossing verification and use of hardware assertions. Richard was part of the ASIC team at D. E. Shaw Research between 2005-2013 implementing the Anton 1 and Anton 2 supercomputers designed for molecular dynamics simulation. The machines won the ACM Gordon Bell Prize for high performance computing in 2009 and 2014 respectively. Richard has B.Sc.(Hons) and M.Eng. degrees in microelectronic systems engineering from the University of Manchester Institute of Science and Technology and a Ph.D. degree in computer science from Stanford University.