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


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





View all News Stories
briefcase
briefcase