About

  • March 2013 - Current, Researcher @ NASA Ames / CMU.
  • February 2012 - Current, Visiting research scholar @ University of Iowa.
  • January 2012 - March 2013, Software engineer @ Microsoft (Skype division).
  • August 2010 - February 2012, Postdoctoral research scholar @ University of Iowa.

Research interests

  • Formal methods in software engineering.
  • SMT-based model checking of data flow systems.
  • Specification (and model) based software testing.
  • Verification of security protocols.

Teaching

  • 22c:188 Logic in Computer Science Fall 2011
Research Topics
web statistics