==== 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.