About
Since February 2012 I am visiting research scholar. Previsouly I was a postdoctoral research scholar funded by AFOSR (PI Cesare Tinelli ) working on KIND.
Research interests
- Formal methods in software engineering.
- Software verification by means of theorem proving and model checking.
- 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
