Â鶹´«Ã½

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 Â鶹´«Ã½ in 2017. He earned his Ph.D. from Carnegie Mellon in 2012.