Asst Professor, Computer Science and Engineering
Automated reasoning; design automation for cyber-physical systems; theory of physical computing.
Gao develops design automation techniques for cyber-physical systems, such as autonomous cars and cardiac pacemakers. He leads the development of dReal, an automated reasoning tool capable of verifying and synthesizing complex cyber-physical system designs. The tool has been used by many groups, includiAut the Toyota Research Institute, NASA, and the Royal Victoria Infirmary in the UK.
Gao was a postdoctoral researcher at the Massachusetts Institute of Technology before joining UC San Diego in 2017. He earned his Ph.D. from Carnegie Mellon in 2012.