Dr. Jeremy Johnson and Colleagues Receive Multidisciplinary Grant from DARPA

johnson headshot

August 23, 2012 — Dr. Jeremy Johnson, professor of computer science, and his colleagues from Carnegie Mellon University  and the University of Illinois at Urbana-Champaign, received a grant from DARPA to develop "High Assurance Spiral: Scalable and Performance Portable Domain-Specific Control System Synthesis." The grant comes from DARPA's High-Assurance Cyber Military Systems (HACMS) program.

The goal of HACMS is increase the security of software that controls embedded systems in the devices, such as cars and insulin pumps, which we rely in our daily lives. This grant will develop techniques to automatically synthesize software, along with proofs of correctness, for high-assurance control systems.

This multidisciplinary grant is for a four-and-a-half-year project over $7 million, with Drexel University receiving $450,000.