it gb
it gb

System Modelling, Verification and Reuse

People

Coordinator

Ferruccio DAMIANI (Associate professor)

Members

Giorgio AUDRITO (Postdoctoral fellow)

Simone DONETTI (Research technician)

Michael LIENHARDT ( Postdoctoral fellow)

Luca PAOLINI (Assistant professor)

Main collaborators @UNITO

Marco ALDINUCCI, Computer Science Department (research group "Parallel Computing")

Luca PADOVANI, Computer Science Department (research group "Formal Methods for Software Development")

Former members

Lorenzo BETTINI (as Assistant professor, till 01/2016), now Associate professor at the University of Firenze

Università degli Studi di Firenze

Mauro PICCOLO (as Postdoctoral fellow)

Vitor RODRIGUES (as Postdoctoral fellow, from 12/2015 to 04/2017)