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.