Our leaders are working closely with federal and state officials to ensure your ongoing safety at the university. Stay up to date with the latest developments. Learn more.
Asst Professor, Computer Science and Engineering
Faculty, 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.
Jacobs School Faculty Update Your Profile