Roberto  Segala

The contents of this page are the responsibility of the person: Roberto Segala
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Fast Links Links
default
Qualification
Full Professor

Disciplinary sector
INF/01 - Computing


Office
Ca' Vignal 2,  Floor 1,  Room 52

Telephone
045 802 7997

Fax
045 802 7928

E-mail
roberto|segala*univr|it <== Replace | with . and * with @ to have the right email address.

Personal web page
http://profs.sci.univr.it/~segala/


Chairperson
  • Esaminatori ECDL
Istitutional duties

Office hours
Place day Timetable
Ca' Vignal 2, floor 1, room 52 Tuesday 2:30 PM - 4:30 PM

Skills
Topic Description Research area
Modelli per sistemi ibridi Studio di modelli per la rappresentazione di sistemi concorrenti che esibiscono comportamenti sia discreti che continui. Uso dei modelli per l'analisi di sistemi distribuiti di controllo. Theory of computation
Theory of computation - Models of computation
Modelli stocastici concorrenti Studio di modelli di concorrenza che includono comportamenti stocastici. Uso di tali modelli per l'analisi di sistemi distribuiti e di protocolli che fanno uso di primitive crittografiche. Theory of computation
Theory of computation - Models of computation

Research products

Year
Type of item
Number of research products per page
publications on 76 total
 

Projects
Title Starting date
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 8/23/11
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 9/22/08
C4C - Control for Coordination of Distributed Systems 5/1/08
Modelli e metodi per la verifica composizionale (PRIN 2006) 2/9/07
ProNoBiS: Probability and Nondeterminism, Bisimulations and Security 1/1/06
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) 11/30/04
Abstract interpretation and model checking for the verification of embedded systems 2/21/03
MEFISTO 10/1/01

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Algorithms (2012/2013)   12  eLearning 8 
4 
Department Computer Science  Cryptography (2012/2013)   6  eLearning 6 
Department Computer Science  Algorithms (2011/2012)   12  eLearning 8 
4 
Department Computer Science  Cryptography (2011/2012)   6  eLearning 6 

People
Top