Sicun Gao
Profile Photo
First Name
Sicun
Last Name
Gao
Designation
Postdoctoral Fellow
Computer Science Department, Carnegie Mellon University
People Type
Research Interests
Automated formal methods for the design and analysis of cyber-physical systems
Bio Link
Protected Email
Address
7125 Gates and Hillman Centers
Carnegie Mellon School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213
Phone
(412)268-9873