Roberto Segala

Roberto Segala,  20 gennaio 2015
Qualifica
Professore ordinario
Settore disciplinare
INF/01 - INFORMATICA
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 52
Telefono
045 802 7997
Fax
045 802 7973
E-mail
roberto|segala*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~segala/

Orario di ricevimento

martedì, Ore 14.30 - 16.30,   Ca' Vignal 2, piano 1, stanza 52

Curriculum

La ricerca di Roberto Segala è incentrata sullo studio di modelli di calcolo nondeterministici,
stocastici, ibridi e real-time per l'analisi di sistemi concorrenti e distribuiti. Le applicazioni
variano dall'analisi degli algoritmi distribuiti alla base del cloud computing, all'analisi della
sicurezza di veicoli senza conducente, all'analisi della correttezza di protocolli basati su
crittografia. Tra i modelli che Roberto Segala ha contribuito a definire vi sono i Probabilistic
Automata e gli Hybrid I/O Automata.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 51.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Algoritmi (2017/2018)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2017/2018)   6  eLearning
Laurea in Informatica Algoritmi (2016/2017)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2016/2017)   6  eLearning
Laurea in Informatica Algoritmi (2015/2016)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2015/2016)   6  eLearning
Laurea in Informatica Algoritmi (2014/2015)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2014/2015)   6  eLearning
Laurea in Informatica Algoritmi (2013/2014)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2013/2014)   6  eLearning
Laurea in Informatica Algoritmi (2012/2013)   12  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2012/2013)   6  eLearning
Laurea in Informatica Algoritmi (2011/2012)   12  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2011/2012)   6  eLearning
Laurea in Informatica Algoritmi (2010/2011)   12  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2010/2011)   6  eLearning
Laurea in Informatica Algoritmi (2009/2010)   12  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2009/2010)   6  eLearning
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2008/2009)   10    Teoria
Laurea specialistica in Informatica Sicurezza e crittografia (2008/2009)   5  eLearning
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10    Teoria
Laurea specialistica in Informatica Sicurezza e crittografia (2007/2008)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2006/2007)   10    Teoria
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2006/2007)   6    Teoria
Laboratorio
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Protocolli e ambienti per la sicurezza (2006/2007)   5     
Laurea specialistica in Informatica Sicurezza e crittografia (2006/2007)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2005/2006)   10    Teoria
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2005/2006)   6    Teoria
Laboratorio
Laurea specialistica in Informatica Sicurezza e crittografia (2005/2006)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2004/2005)   10      Teoria
  Laboratorio
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2004/2005)   6     
Laurea specialistica in Informatica Sicurezza e crittografia (2004/2005)   5      Teoria base
  Modulo aggiuntivo
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2003/2004)   10      Laboratorio
  Teoria
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2003/2004)   6     
Laurea specialistica in Informatica Sicurezza e crittografia (2003/2004)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2002/2003)   10      Teoria
  Laboratorio
Laurea specialistica in Informatica Sicurezza e crittografia (2002/2003)   5     
Laurea in Informatica (vecchio ordinamento) Algoritmi e strutture dati (2001/2002)   2     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2001/2002)   10      Teoria
Laurea in Informatica (vecchio ordinamento) Sicurezza e crittografia (2001/2002)   5     
Laurea in Informatica (vecchio ordinamento) Sistemi operativi (2000/2001)   2     

 
Competenze
Argomento Descrizione Area di ricerca
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
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. Informatica teorica
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. Informatica teorica
Theory of computation - Models of computation
Probabilistic Analysis of Security Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Progetti
Titolo Data inizio
Security Horizons 01/02/13
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 23/08/11
Modelli e tecniche di analisi formale per la sicurezza dei sistemi software (PRIN 2007) 22/09/08
C4C - Control for Coordination of Distributed Systems 01/05/08
Modelli e metodi per la verifica composizionale (PRIN 2006) 09/02/07
ProNoBiS: Probability and Nondeterminism, Bisimulations and Security 01/01/06
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) 30/11/04
Interpretazione astratta e model checking per la verifica di sistemi embedded 21/02/03
MEFISTO 01/10/01




Presidente
  • Esaminatori ECDL

Roberto Segala
Carica Organo collegiale
ordinario Collegio dei Docenti del Dottorato in Informatica - Dipartimento Informatica
componente Collegio Didattico di Informatica - Dipartimento Informatica
componente Comitato Scientifico del Master in Progettazione e Gestione di Sistemi di Rete
componente Consiglio del Dipartimento di Informatica - Dipartimento Informatica
componente Esaminatori ECDL

Organizzazione

Strutture del dipartimento