Formal Methods && Tools Group

Permanent Staff

tommaso.bolognesi at isti.cnr.it
stefania.gnesi at isti.cnr.it
diego.latella at isti.cnr.it
mieke.massink at isti.cnr.it
franco.mazzanti at isti.cnr.it
maurice.terbeek at isti.cnr.it

Research Staff
Research Staff (contact person)
Research Staff
Research Staff
Research Staff
Research Staff

Temporary Staff

Ciancia Vincenzo
Ferrari Alessio
Spagnolo Giorgio Oronzo
Davide Basile
Trivella Maria Luisa Rita

ciancia.vincenzo at isti.cnr.it
ferrari.alessio at isti.cnr.it
giorgio.oronzo.spagnolo at isti.cnr.it
davide.basile at isti.cnr.it
trivella at isti.cnr.it

Research Staff
Research Staff
Research Staff
Research Staff
Administrative Staff

Research Associate

luca.bortolussi at isti.cnr.it
alessandro.fantechi at unifi.it
laura.semini at di.unipi.it

Research Associate
Research Associate
Research Associate