Faculty Profile

Sicun Gao

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.

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.

Email:
sig049@ucsd.edu

Office Phone:
- -