Faculty Profiles

Sicun Gao

Associate Professor, CSE


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


Update your profile

Photo of Sicun Gao

Email:
sig049@ucsd.edu

Website