I am a senior member of the technical staff at the Software Engineering Institute and part of the High-Confidence Cyber-Physical Systems group. My research area is the theory and applications of formal methods to improving software quality. In particular, I am interested in specification, verification, and validation of software, with particular focus on concurrent software, real-time and cyber-physical systems, and software security. Previously, I was a Computer Science Department doctoral student at Carnegie Mellon University. Here is a summary of my academic activities as a graduate student, a list of publications, my Ph.D thesis, and a more or less up-to-date resume.


  • 2013-11-11: Gave tutorial at HILT'13.
  • 2013-10-22: Presented paper at FMCAD'13.
  • 2013-10-21: Gave invited talk at OSU.
  • 2013-08-08: Paper accepted at ICTSS'13.
  • 2013-07-29: Gave invited talk at IIT Kharagpur.
  • 2013-07-17: Paper accepted at FMCAD'13.