Roberto Segala

  1. Home
  2. Dipartimento
  3. Persone
  4. Roberto Segala
Roberto Segala, 20 gennaio 2015
Qualifica
Professore ordinario
Settore disciplinare
INF/01 - INFORMATICA
Settore di Ricerca (ERC)
PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory

PE6_5 - Cryptology, security, privacy, quantum crypto

PE6_4 - Theoretical computer science, formal methods, and quantum computing

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: 60.
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 (2021/2022)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2021/2022)   6  eLearning 6 
Laurea in Informatica Algoritmi (2020/2021)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2020/2021)   6  eLearning 6 
Laurea in Informatica Algoritmi (2019/2020)   12  eLearning 12 
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning 1 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2019/2020)   6  eLearning 6 
Laurea in Informatica Algoritmi (2018/2019)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2018/2019)   6  eLearning 6 
Laurea in Informatica Algoritmi (2017/2018)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2017/2018)   6  eLearning 6 
Laurea in Informatica Algoritmi (2016/2017)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2016/2017)   6  eLearning 6 
Laurea in Informatica Algoritmi (2015/2016)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2015/2016)   6  eLearning 6 
Laurea in Informatica Algoritmi (2014/2015)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2014/2015)   6  eLearning 6 
Laurea in Informatica Algoritmi (2013/2014)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2013/2014)   6  eLearning 6 
Laurea in Informatica Algoritmi (2012/2013)   12  eLearning 8  (Teoria)
4  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2012/2013)   6  eLearning 6 
Laurea in Informatica Algoritmi (2011/2012)   12  eLearning 4  (Laboratorio)
8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2011/2012)   6  eLearning 6 
Laurea in Informatica Algoritmi (2010/2011)   12  eLearning 8  (Teoria)
4  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2010/2011)   6  eLearning 6 
Laurea in Informatica Algoritmi (2009/2010)   12  eLearning 8  (Teoria)
4  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2009/2010)   6  eLearning 6 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2008/2009)   10    8  Teoria
Laurea specialistica in Informatica Sicurezza e crittografia (2008/2009)   5  eLearning 5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2007/2008)   10    8  Teoria
Laurea specialistica in Informatica Sicurezza e crittografia (2007/2008)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2006/2007)   10    8  Teoria
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2006/2007)   6    2  Laboratorio
4  Teoria
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    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2005/2006)   10    8  Teoria
Laurea in Biotecnologie Agro-Industriali (ordinamento fino all'a.a. 2008/09) Informatica (2005/2006)   6    4  Teoria
2  Laboratorio
Laurea specialistica in Informatica Sicurezza e crittografia (2005/2006)   5    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      Modulo aggiuntivo
  Teoria base
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Algoritmi e strutture dati (2003/2004)   10      Teoria
  Laboratorio
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     

 

Gruppi di ricerca

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.
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
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
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
Models of computation
Probabilistic Analysis of Security Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica Ingegneria del Software e Sicurezza
Formal methods and theory of security
Progetti
Titolo Data inizio
ARS - Autonomous Robotic Surgery 01/10/17
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



Organizzazione

Strutture del dipartimento