NSF Expeditions in Computing

Professor Rance Cleaveland (CS/ISR) is the principal investigator and Professor Steven Marcus is a co-PI for the University of Maryland's portion of a major new National Science Foundation collaborative research grant, "Formal Analysis of Complex Systems."
*The five-year, $10 million project is part of NSF's "Expeditions in Computing" initiative.