Congratulations to Dr. Sumit Jha

October 7, 2013

Congratulations to Dr. Sumit Jha for receiving $10,000.00 from US Air Force Research Laboratory for a project titled “Extreme Scale Algorithms for Formal Validation and Parameter Discovery of Computational Models: Applications to the Synthesis of Cyber-Physical Systems and Memristor-based Crossbar Computing”.