I have worked in Research & Development at Galois, Inc. since 2005. My area of research is dependable systems, including both safety-critical and security-critical systems. I focused on formal (i.e., mathematical) analysis techniques for dependable systems, including the use of model-checking, mechanical theorem-proving, and decision procedures, but I have also worked in protocol design. My work also touches on the areas of programming languages, virtualization, online monitors, and realtime systems. In addition, I've managed research business-development and hiring in Engineering. Previously, I was a research scientist with the NASA Langley Formal Methods Group. I have a Ph.D in Computer Science from Indiana University.