it gb
it gb

Modellazione, Verifica e Riuso di Sistemi

Persone

Coordinatore

Ferruccio DAMIANI (Professore Associato)

Membri

Giorgio AUDRITO (Assegnista di Ricerca Post Dottorato)

Simone DONETTI (Tecnico di Ricerca)

Luca PAOLINI (Ricercatore)

Gianluca TORTA (Ricercatore)

Principali collaboratori @UNITO

Marco ALDINUCCI, Dipartimento di Informatica (gruppo "Calcolo Parallelo")

Enrico BINI, Dipartimento di Informatica

Luca PADOVANI, Dipartimento di Informatica (gruppo "Metodi formali per lo sviluppo del Software")

Ex Membri

Lorenzo BETTINI (come Ricercatore, fino all'1/2016), ora Professore Associato presso l'Università degli Studi di Firenze

Michael LIENHARDT (come Assegnista di Ricerca Post Dottorato, fino a febbraio 2018, ora Ricercatore presso ONERA)

Mauro PICCOLO (come Assegnista di Ricerca Post Dottorato)

Vitor RODRIGUES (come Assegnista di Ricerca Post Dottorato, dal 12/2015 al 4/2017)