- 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.
- Formal methods in software engineering.
- SMT-based model checking of data flow systems.
- Specification (and model) based software testing.
- Verification of security protocols.
- 22c:188 Logic in Computer Science Fall 2011