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.
The Department welcomes comments, suggestions and corrections. Send email to editor [at] cs [dot] umd [dot] edu.