People

Unit Members

Rocco De Nicola
Rocco De Nicola
Full Professor
Mirco Tribastone
Mirco Tribastone
Associate Professor
Claudio Antares Mezzina
Claudio Antares Mezzina
Assistant Professor
Max Tschaikowski
Max Tschaikowski
Assistant Professor
Andrea Vandin
Andrea Vandin
Assistant Professor
Hugo T. Vieira
Hugo Torres Vieira
Assistant Professor
Laura Nenzi
Laura Nenzi
Research Collaborator
Farshad Shams
Farshad Shams
Research Collaborator
Rafael Brundo Uriarte
Rafael Brundo Uriarte
Research Collaborator

Visiting Professors

Luca

Luca Cardelli
Microsoft Research
& University of Oxford

 

Michele

Michele Loreti
University of Florence

Ugo

Ugo Montanari
University of Pisa

Joseph

Joseph Sifakis
EPFL & VERIMAG


PhD Students