I am a Principal Applied Scientist with the S3 Automated Reasoning Group at Amazon Web Services. My main research interests are in the application of formal verification to achieve improvements in software security and reliability.

From 2003 to 2018, I worked at the NASA Jet Propulsion Laboratory (JPL) in Pasadena, California. as a member of the Laboratory for Reliable Software (LaRS). I also served as the Chief Engineer for Flight Software and Avionics Systems.

I am also a member of the flight software teams for the Mars rovers Curiosity (landed in Gale crater, Aug 5 2012) and Perseverance (landed in Jezero crater, Feb 18 2021). I served as the engineer responsible for the design and implementation of the spacecraft data management system and high-level communication behaviors. I also served as a member of the Curiosity Surface Operations team, (as Data Management Chair).

I hold a joint appointment as Lecturer in Computer Science at the California Institute of Technology, and regularly teach course CS116 (Introduction to Program Reasoning).

I am an elected member of (and current secretary for) IFIP Working Group 2.3 on Programming Methodology.

My Erdös number is 3
      (Narendra Karmarkar • Andrew Odlyzko / Laszlo Lovasz • Paul Erdös).