Roberto Segala

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

PE6_5 - Security, privacy, cryptology, quantum cryptography

PE6_4 - Theoretical computer science, formal methods, automata

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
+39 045 802 7997
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: 66.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2025/2026)   6    6 
Laurea in Informatica [L-31] Algoritmi (2024/2025)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2024/2025)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2023/2024)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2023/2024)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2022/2023)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2022/2023)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2021/2022)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2021/2022)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2020/2021)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2020/2021)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2019/2020)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2019/2020)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2018/2019)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2018/2019)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2017/2018)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2017/2018)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2016/2017)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2016/2017)   6  eLearning 6 
Laurea in Informatica [L-31] Algoritmi (2015/2016)   12    12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2015/2016)   6    6 
Laurea in Informatica [L-31] Algoritmi (2014/2015)   12    12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2014/2015)   6    6 
Laurea in Informatica [L-31] Algoritmi (2013/2014)   12    12 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2013/2014)   6    6 
Laurea in Informatica [L-31] Algoritmi (2012/2013)   12    8  (Teoria)
4  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2012/2013)   6    6 
Laurea in Informatica [L-31] Algoritmi (2011/2012)   12    4  (Laboratorio)
8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2011/2012)   6    6 
Laurea in Informatica [L-31] Algoritmi (2010/2011)   12    8  (Teoria)
4  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2010/2011)   6    6 
Laurea in Informatica [L-31] Algoritmi (2009/2010)   12    4  (Laboratorio)
8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Crittografia (2009/2010)   6    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    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    2  Laboratorio
4  Teoria
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      Laboratorio
  Teoria
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     

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

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 Sicurezza informatica
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. Ingegneria del Software e Verifica Formale
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. Ingegneria del Software e Verifica Formale
Models of computation
Probabilistic Analysis of Security Analisi di proprieta' di sicurezza approssimate mediante l'Interpretazione Astratta Probabilistica Sicurezza informatica
Formal methods and theory of security
Progetti
Titolo Data inizio
In search of evidence of stealth cyber threats - COVERT 01/06/24
Novel Methodologies and Tools for Next Generation Cyber Ranges - NOMEN 21/05/24
Studio di metodologie per lo sviluppo di strumenti e infrastrutture di trading meccanico 02/05/23
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

Condividi