Partner University of Pisa

The Partner University of Pisa clusters researchers and Ph.D students from three different Institutions:

University of Pisa - Department of Information Engineering

Researchers:

• Luca Simoncini
• Cinzia Bernardeschi
• Giuseppe Lettieri

• Paolo Masci
• Luca Martini

University of Florence - Department of Systems and Computer Science

Researchers:

• Andrea Bondavalli
• Paolo Lollini

Ph.D Students:

• Lorenzo Falai
• Alessandro Daidone

Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - CNR

Researchers:

• Felicita Di Giandomenico
• Giorgio Faconti
• Fabrizio Grandoni
• Silvano Chiaradonna

The activities related to ReSIST are performed in the following labs:

• The Resilient Computing Lab at University of Florence
• The Dependable Computing Research Lab at ISTI-CNR in Pisa
• Formal Methods and Tools Laboratory at ISTI-CNR in Pisa