Congratulations to Dr. Sumit Jha
July 7, 2014
Congratulations to Dr. Sumit Jha for receiving $487,627 in new funding from the NSF for a project titled “SHF: Small: Exascale Formal Verification for Parameterized Probabilistic Models of Complex”.
July 7, 2014
Congratulations to Dr. Sumit Jha for receiving $487,627 in new funding from the NSF for a project titled “SHF: Small: Exascale Formal Verification for Parameterized Probabilistic Models of Complex”.