Department of Computer Science
Department of Computer Science
Department of Computer Science


Congratulations to Dr. Sumit Jha
 
Mon, July 07, 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".





View all News Stories
briefcase
briefcase