ID2015 - 1:40p - Magill - Formal Methods CPS

Dr. Stephen Magill is a research lead in software security at Galois, Inc., where he is the principal investigator for Galois' team on DARPA's Cyber Fault-tolerant Attack Recovery project (CFAR).  Prior to joining Galois in 2014, Stephen was a Research Scientist at the Institute for Defense Analyses Center for Computing Sciences (IDA/CCS). Before that, he was a post-doctoral researcher with Michael Hicks at the University of Maryland, College Park. His work has addressed software correctness, security, and robustness and spanned both dynamic and static approaches to software analysis.

Stephen earned his Ph.D. in Computer Science from Carnegie Mellon University under the guidance of Peter Lee, Stephen Brookes, and John Reynolds. His thesis work centered on the use of separation logic to prove termination and other liveness properties of heap-manipulating programs.  Current research interests include security and predictability of cyber-physical systems, reasoning under uncertainty, and formal aspects of privacy preservation.