People

Unit Members

 

 

  Rocco De Nicola
Rocco De Nicola
Full Professor
Mirco Tribastone
Mirco Tribastone
Associate Professor
 
Gabriele Costa
Gabriele Costa
Assistant Professor
Letterio Galletta
Letterio Galletta
Assistant Professor
Hugo T. Vieira
Hugo Torres Vieira
Assistant Professor
Emilio Incerto
Emilio Incerto
Research Collaborator
Rafael Brundo Uriarte
Rafael Brundo Uriarte
Research Collaborator
Yuriy Zacchia Lun
Yuriy Zacchia Lun
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

Past Members

Claudio Antares Mezzina
Claudio Antares Mezzina
University of Leicester
Max Tschaikowski
Max Tschaikowski
TU Wien
Andrea Vandin
Andrea Vandin
DTU Compute
Laura Nenzi
Laura Nenzi
Tu Wien
Farshad Shams
Farshad Shams
Research Collaborator
Yehia Moustafa Abd Alrahman
Yehia Moustafa Abd Alrahman
University of Leicester


PhD Students