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.