==== Scientific Interests ====
- Methods and tools for the formal specification and verification of concurrent and mobile systems.
- Application of model checking techniques to complex case studies.
- Applications of Natural Language Processing techniques to Requirements Engineering.