My research interests are Concurrency theory, Formal Verification, Formal Specification, Semantics of Programming Languages, Model Checking, Finite Automata, Software Testing, Temporal Logics, Partial order methods and Traces.

I like to take pictures (this one is stiched from 3 parts).

Invited ICALP talk on combining testing and verification.
Invited CAV tutorial on testing.
Dagstuhl talk on Message Sequence Charts.
Invited ATVA talk on Enforcing Temporal Behavior
Invited FORTEST talk on Black Box Checking Talk
Invited VISSAS lecture on test case generation
Invited IFM lecture on test case generation
Isola 2004 Talk
CIRM spring school on security 2005
ESSCaSS'06 Summer school (subset of the more updated set of lectures on formal methods).
Dagstuhl talk (Tacas 06 paper) on monitoring partial order snapshots
Combined TACAS+CAV talk: model checking based genetic programming + discriminative model checking

Resume (pdf)

• Model Checking, MIT Press, January 2000.
• Software Reliability Methods, Springer-Verlag, July 2001.
• Proceedings of Computer Aided Verification (CAV) 1999, Springer-Verlag.
• Proceedings of Spin workshop 1996, American Mathematical Society.
• Proceedings of POMIV workshop 1996, American Mathematical Society.
• Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2002, Springer Verlag.