© 2017. All rights reserved.
Research Scientist @
NASA Ames Research Center
, member of the
Robust Software Engineering
group in the Intelligent System Division.
Staff Software Engineer @
NASA Resource Prospector Mission
Senior System Scientist @
Carnegie Mellon University CyLAB
Staff Scientist @
Computer Science Department, Carnegie Mellon University
ISSTAC: Integrated Symbolic Execution for Space-Time Analysis of Code
CrAVES: Credible Autocoding and Verification of Embedded Software
CoCo: Safety Analysis of Flight Critical Systems
CaVa: Compositional Analysis of Android Bluetooth Software Stack