Resume
Research Experience
- Currently Principal Scientist at Galois, Inc.
- Formerly Senior Formal Methods Researcher/Directorate Fellow at Idaho National Laboratory
- Formerly Senior Principal Research Scientist at Two Six Technologies
- Formerly Senior Cybersecurity Research Scientist at Oak Ridge National Laboratory
- Formerly Associate Professor of Computer Science at the University of Missouri
- Post-doctoral Researcher at Oregon Graduate Institute, June 2000–August 2003
- Visiting Lecturer (Computer Science), Indiana University, September 1999–May 2000