Education

• PhD - 2001: Kansas State University. Thesis advisor: Matt Dwyer.
• MS - 1995: University "Politehnica" of Bucharest, Romania.

Projects

• Java PathFinder (Ames).
• Compositional Verification (Ames).
• Automated Testing (Ames).
• PLEXIL Execution Language and System (Ames).
• Bandera (KSU).
• Specification Patterns (KSU, UMass, MSU).

Awards etc.

• IBM Haifa Verification Conference Award, w/ Willem Visser (2007).
• NASA Tech Briefs article for "Automated Testing using Symbolic Execution and Temporal Monitoring" (Vol. 31, No. 8, August 2007).
• PhD Thesis Commitee Member for Nishant Sinha. Thesis Advisor: Professor Ed Clarke at CMU (2007).
• Guest Editor for the FMSD journal, special issue on Compositional Reasoning, w/ Dimitra Giannakopoulou (2007).
• NASA Invention Disclosure for "PLEXIL Execution Language" (submitted 2006).
• NASA Invention Disclosure for "Concrete Model Checking with Abstract Matching and Refinement" (submitted 2005).
• NSF Panel Reviewer (2005, 2008).
• NASA Ames Contractor Council "Certificate of Excellence" (2005).
• QSS NASA Ames CSRDS Contract "Certificate of Appreciation" (2005).
• NASA "Turning Goals into Reality Award", w/ JPF team (2003).
• ACM "Distinguished Paper Award", w/ Dimitra Giannakopoulou and Howard Barringer (2002).