Roberto Segala: Background

Associate Professor (2001-2005), University of Verona, Department of Computer Science.

Research Associate (1995-2001), University of Bologna, Department of Computer Science.

PhD in Electrical Engineering and Computer Science (1995), Massachusetts Institute of Technology, Cambridge, USA.
Thesis: Modeling and Verification of Randomized Distributed Real-Time Systems.
Thesis advisor: Nancy Lynch.

SM in Electrical Engineering and Computer Science (1992) Massachusetts Institute of Technology, Cambridge, USA.
Thesis: A Process Algebraic View of I/O Automata.
Thesis advisor: Nancy Lynch.

Diploma in Scienze dell'Informazione (1991) Scuola Normale Superiore, Pisa, Italy.

Laurea in Scienze dell'Informazione (1991) University of Pisa, Italy.
Thesis: Algebre di Processi come Automi con Input and Output.
Thesis advisor: Rocco De Nicola.

Diploma di Perito Tecnico Industriale in Informatica (1987) Istituto Tecnico Industriale Statale G. Marconi, Verona.