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.

    Relevant Recent Publications

    Journals
    STTT

    Assocations
    FME,     EATCS, FMICS


    Current projects:
  • SENSORIA, Software Engineering for Service-Oriented Overlay Computers (FP6-2004-IST-FETPI).
  • MODCONTROL, Train control and monitoring system, a sub-project of MODTRAIN
    (FP6-PLT-506652/TIP3-CT-2003-506652)
  • TOCAI.IT, Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet (FIRB-MIUR).