Research Interests
-
Specification and Verification of Reactive and Real-time Systems: Synchronous
Languages, Modal and Temporal Logics, Compositional Verification.
- Automatic Verification of Concurrent Systems:
Model Checking and Abstract Interpretation.
- Techniques for proving Properties of
Mobile Systems: Mobile Ambients, Types, Control Flow Analysis, Security.