I am in the academic job market this year and am looking for faculty jobs. Here are my application materials:
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.