My great pleasure to get Robert T. Chien Memorial Award for Excellent in Research from UIUC and Chinese Outstanding Student Abroad Award from Chinese Embassy!
Our proposal “A Formal Verification and Synthesis Tool for Safety Critical Power Grid Infrastructures and Cyber-Physical Systems” has been selected to receive a research seed grant from the Siebel Energy Institute in the amount of $50,000. Details can be found on this webpage!
Feel thrilled to be selected for College of Engineering’s prestigious Mavis Future Faculty Fellowship, Class of 2018!
RealSyn passed the CAV’18 Artifact Evaluation! Get a first glimpse of the tool HERE.