Congratulations to Dr. Sumit Jha

June 16, 2015

Congratulations to Dr. Sumit Jha for receiving $16,000 from the National Science Foundation for a project titled “SHF: Small: Exascale Formal Verification Algorithms for Parameterized Probabilistic Models of Complex Computational Systems”.