ID2015 - 1:40p - McDougall - Software Integrity

Michael McDougall received a PhD in Computer and Information Science from the University of Pennsylvania in 2005. He has a BSc (Hons) in Mathematics and Computer Science from McGill University. Dr. McDougall’s graduate work focused on applying formal reasoning to problems in software engineering and security.  Since joining GrammaTech in 2005, he has led and contributed to research projects in the areas of software engineering and security. Past projects include a NASA-funded effort developing static analysis tools for safety-critical systems; assessing avionics systems for security and safety problems; and visualizing large systems-of-systems. He currently leads GrammaTech’s research on autonomic security, developing techniques to enable systems to monitor themselves and respond to attacks or faults.