CMU's HACMS project highlighted in 60 Minutes segment


February 18, 2015

Darpa’s HACMS (high-assurance cyber military systems) Program was highlighted in a recent CBS 60 Minutes segment. Carnegie Mellon leads one of the DARPA supported HACMS projects, High Assurance Spiral: Scalable and Performance Portable Domain-Specific Control System Synthesis, to produce ultra secure systems that are resilient to growing cyber threats. The CMU multidisciplinary research team is led by Franz Franchetti, an associate research professor in ECE, and includes José M.F. Moura, the Philip L. and Marsha Dowd University Professor in ECE; Manuela M. Veloso, the Herbert A. Simon University Professor of Computer Science; Andre Platzer, an associate professor in SCS; Soummya Kar, an assistant research professor in ECE; David Padua, the Donald Biggar Willett Professor of Computer Science at the University of Illinois at Urbana-Champaign; Jeremy Johnson, a professor in the Department of Computer Science at Drexel University; and SPIRALGen, a company to commercialize SPRIAL technology technology user license from Carnegie Mellon University.

View the 60 Minutes segment here.