Several Faculty in ECE and Computer Science Awarded DOD Grants


February 13, 2000

Several faculty in ECE and Computer Science have been awarded Department of Defense University Research Initiative Grants. Twenty grants were made to 16 institutions totaling $9.3 million for the year 2001.

Assistant Professor Greg Ganger's project, "Enabling Dynamic Security Management of Networked Systems via Device-Embedded Security," is funded for $4.4 million over five years by the Air Force. Co-PIs are David Nagle (CS/ECE), Garth Gibson (CS/ECE) and Pradeep Khosla (ECE/CS).

Professor of Computer Science and ECE Edmund Clarke's project, titled "Static Analysis to Enhance the Power of Model Checking for Concurrent Software," will be funded for $4.1 million over a period of five years and is sponsored by the Naval Research Laboratory.

Jeannette Wing, Associate Dean for Academic Affairs in the School of Computer Science, along with Co-PIs Edmund Clarke, David Garlan (CS), Bruce Krogh (ECE), and Reid Simmons (CS), will have $4.4 million in funding over five years for their project on "Verification Tools for Embedded Systems."

The DOD grants are meant for "long-term support for research, graduate students, and the purchase of equipment supporting specific science and engineering research themes in the fields related to critical information protection and software." They are part of the DOD's Critical Infrastructure Protection (CIP) and High Confidence Adaptable Software (SW) Research Program of the University Research Initiative.