Faculty Profiles

Sicun Gao

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.

Capsule Bio:

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.

Selected Publications:

Google Scholar Publications


Jacobs School Faculty Update Your Profile