“Electrical and computer engineering assistant professor Mahdi Imani was awarded a DARPA grant for ‘VeriPro: Verified Probabilistic Cognitive Reasoning for Tactical Mixed Reality Systems.’ This collaborative, multidisciplinary effort includes partners from Penn State University (lead), Design Interactive Inc., Kennesaw State University, George Washington University, and the University of Southern California.”