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)

Membri esterni (non @UNITO)

Michael LIENHARDT (Ricercatore presso ONERA)

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

Mauro PICCOLO (come Assegnista di Ricerca Post Dottorato)

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