Formal Methods && Tools Group

Permanent Staff
Tommaso Bolognesi tommaso.bolognesi(AT)isti.cnr.it Research Staff
Vincenzo Cianciavincenzo.ciancia(AT)isti.cnr.itResearch Staff
Alessio Ferrarialessio.ferrari(AT)isti.cnr.itResearch Staff
Stefania Gnesistefania.gnesi(AT)isti.cnr.itResearch Staff (contact person)
Diego Latelladiego.latella(AT)isti.cnr.itResearch Staff
Mieke Massinkmieke.massinkAT)isti.cnr.itResearch Staff
Franco Mazzantifranco.mazzanti(AT)isti.cnr.itResearch Staff
Giorgio Oronzo Spagnologiorgio.oronzo.spagnolo(AT)isti.cnr.itResearch Staff
Maurice ter Beekmaurice.terbeek(AT)isti.cnr.itResearch Staff
Maria Luisa Trivellamariarita.trivella(AT)isti.cnr.itAdministrative Staff

Research Associate Staff
Davide Basile davide.basile(AT)isti.cnr.it Research Associate
Alessandro Fantechi alessandro.fantechi(AT)unifi.it Research Associate
Laura Semini semini(AT)di.unipi.it Research Associate