Formal Methods && Tools Group

Stefania Gnesi



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.