Roberto Segala

Professor of Computer Science

Università di Verona
Dipartimento di Informatica
Strada Le Grazie 15, Ca' Vignal 2
37134 Verona, Italy

Tel: (+39) 045-8027997
Fax: (+39) 045-8027928
email: name dot lastname at univr.it

I am professor of Computer Science at the University of Verona since 2001. My main research interests are in the area of modeling and verification of concurrent systems that include real-time, continuous, and probabilistic behavior. In several occasions I use algorithms and protocols as case studies or as guidelines for theoretical development. In particular, I am involved in distributed algorithms, hybrid systems, probabilistic model checking, theorem proving, and security.


Background Publications Downloads

Involvement in Recent and Upcoming Events

Recent Research Projects

  • C4C - Seventh Framework Programme (FP7/2007-2013) under grant agreement no. INFSO-ICT-223844.

  • SOFT Software Oriented Formal Techniques (2008-2009), MIUR PRIN project involving Pisa, Venezia, Verona.


Teaching and Administration

This section is in Italian and includes my teaching and administrative duties at the University of Verona.

Insegnamenti presso Corsi di Laurea

  • Algoritmi (Laurea in Informatica)
  • Crittografia (Laurea Magistrale in Ingegneria e Scienze Informatiche)
Per informazioni sugli insegnamenti e per accedere alle relative sezioni e-learning si faccia riferimento alla mia pagina ufficiale del sito web di Ateneo.

Orario di ricevimento studenti: cliccare qui

Altri Incarichi

  • Delegato del Rettore per l'orientamento alla formazione universitaria e l'e-learning
  • Presidente del Consiglio del Corso di Laurea Magistrale in Ingegneria e Scienze Informatiche
  • Responsabile del progetto di Ateneo Informatica di Base per non Informatici
  • Referente di Ateneo per l'ECDL

homepage