Proposal granted by Siebel Energy Institute!

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!

Leave a Reply

Your email address will not be published. Required fields are marked *