Short Biography

  • Since 2005: Ricercatore (Assistant Professor), Università di Napoli "Federico II", Napoli, Italy
  • June - July 2004: International Fellow at SRI International, Menlo Park, USA
  • 2004 - 2005: Post-doctoral Researcher at University of California, Santa Cruz, USA
  • 2002 - 2003: Post-graduate Researcher at University of California, Santa Cruz, USA.
    Supervisor: Luca de Alfaro
  • 2001 - 2003: PhD student in Computer Science, Università di Salerno, Italy
  • 2000: Laurea cum Laude in Computer Science, Università di Salerno, Italy
  • 1977: Born in Cava de' Tirreni, Italy

 

Research Interests

Formal methods, automata, (temporal) logic, real-time systems, game theory, verification, model checking, quantitative and probabilistic models. 		 
 
  e-mail: mfaella @ na.infn.it