COVID-19 Updates

Information is available for the campus community on the Return to Learn website. Please get vaccinated and stay up to date with County and State guidelines as well as CDC recommendations.

Faculty Profile

Sicun Gao

Faculty, 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.

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.


Office Phone:
- -

Jacobs School Faculty Update Your Profile