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
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: 64.
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 (2023/2024)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2023/2024)   6  eLearning
Laurea in Informatica Algoritmi (2022/2023)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2022/2023)   6  eLearning
Laurea in Informatica Algoritmi (2021/2022)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2021/2022)   6  eLearning
Laurea in Informatica Algoritmi (2020/2021)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2020/2021)   6  eLearning
Laurea in Informatica Algoritmi (2019/2020)   12  eLearning 12 
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2019/2020)   6  eLearning
Laurea in Informatica Algoritmi (2018/2019)   12  eLearning 12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2018/2019)   6  eLearning
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    12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2015/2016)   6   
Laurea in Informatica Algoritmi (2014/2015)   12    12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2014/2015)   6   
Laurea in Informatica Algoritmi (2013/2014)   12    12 
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2013/2014)   6   
Laurea in Informatica Algoritmi (2012/2013)   12    (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2012/2013)   6   
Laurea in Informatica Algoritmi (2011/2012)   12    (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2011/2012)   6   
Laurea in Informatica Algoritmi (2010/2011)   12    (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2010/2011)   6   
Laurea in Informatica Algoritmi (2009/2010)   12    (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Crittografia (2009/2010)   6   
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   
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    Laboratorio
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   
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    Laboratorio
Teoria
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      Laboratorio
  Teoria
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      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     

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

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
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




Presidente
  • Esaminatori ECDL

Roberto Segala
Carica Organo collegiale
componente Collegio Didattico di Informatica - Dipartimento Informatica
componente Consiglio del Dipartimento di Informatica - Dipartimento Informatica
componente Esaminatori ECDL

Organizzazione

Strutture del dipartimento

Condividi