Franco Mazzanti

Senior Research Scientist
           Istituto di Scienza e Tecnologie dell'Informazione
           "A.Faedo"(ISTI)

Member of the Formal Methods and Tools Laboratory

Franco Mazzanti graduated cum laude in Computer Science at the University of Pisa in 1982. Since 1988 he is a researcher of the Italian National Research Council (CNR) at the Istituto di Scienza e Tecnologie dell'Informazione (ISTI)" in Pisa.

His research interests are in the field of software engineering, and in particular in methods for the evaluation of the software reliability and predictability. His current activity is focused on the experimentation of "on the fly" model checking techniques and the development of the "fmc" "umc" and "cows" model checkers (see fmc, umc and cows)

Some publications

Contact Info

   Franco Mazzanti
   Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo"
   Area della Ricerca CNR di Pisa
   Via G. Moruzzi, 1
   56124 - Pisa
   Tel: + 39 050 315 2919
   Fax: + 39 050 315 2810
   E-mail: franco.mazzanti at isti.cnr.it