Roberto Segala

  1. Home
  2. Department
  3. People
  4. Roberto Segala
Roberto Segala, January 20, 2015
Position
Full Professor
Academic sector
INFO-01/A - Informatics
Research sector (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

Research sector (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

Office
Ca' Vignal 2,  Floor 1,  Room 52
Telephone
+39 045 802 7997
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/

Office Hours

Tuesday, Hours 2:30 PM - 4:30 PM,   Ca' Vignal 2, Floor 1, room 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.

Modules

Modules running in the period selected: 66.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Science and Engineering Cryptography (2025/2026)   6    6 
Bachelor's degree in Computer Science Algorithms (2024/2025)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2024/2025)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2023/2024)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2023/2024)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2022/2023)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2022/2023)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2021/2022)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2021/2022)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2020/2021)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2020/2021)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2019/2020)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2019/2020)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2018/2019)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2018/2019)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2017/2018)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2017/2018)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2016/2017)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2016/2017)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2015/2016)   12    12 
Master's degree in Computer Science and Engineering Cryptography (2015/2016)   6    6 
Bachelor's degree in Computer Science Algorithms (2014/2015)   12    12 
Master's degree in Computer Science and Engineering Cryptography (2014/2015)   6    6 
Bachelor's degree in Computer Science Algorithms (2013/2014)   12    12 
Master's degree in Computer Science and Engineering Cryptography (2013/2014)   6    6 
Bachelor's degree in Computer Science Algorithms (2012/2013)   12    8  (Teoria)
4  (Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2012/2013)   6    6 
Bachelor's degree in Computer Science Algorithms (2011/2012)   12    4  (Laboratorio)
8  (Teoria)
Master's degree in Computer Science and Engineering Cryptography (2011/2012)   6    6 
Bachelor's degree in Computer Science Algorithms (2010/2011)   12    8  (Teoria)
4  (Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2010/2011)   6    6 
Bachelor's degree in Computer Science Algorithms (2009/2010)   12    4  (Laboratorio)
8  (Teoria)
Master's degree in Computer Science and Engineering Cryptography (2009/2010)   6    6 
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2008/2009)   10    8  Teoria
Masters in Computer Science Security and Cryptology (2008/2009)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2007/2008)   10    8  Teoria
Masters in Computer Science Security and Cryptology (2007/2008)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2006/2007)   10    8  Teoria
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2006/2007)   6    2  Laboratorio
4  Teoria
Masters in Computer Science Security and Cryptology (2006/2007)   5    5 
Level 1 Masters in Network Planning and Management Protocolli e ambienti per la sicurezza (2006/2007)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2005/2006)   10    8  Teoria
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2005/2006)   6    2  Laboratorio
4  Teoria
Masters in Computer Science Security and Cryptology (2005/2006)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2004/2005)   10      Teoria
  Laboratorio
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2004/2005)   6     
Masters in Computer Science Security and Cryptology (2004/2005)   5      Modulo aggiuntivo
  Teoria base
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2003/2004)   10      Teoria
  Laboratorio
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2003/2004)   6     
Masters in Computer Science Security and Cryptology (2003/2004)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2002/2003)   10      Laboratorio
  Teoria
Masters in Computer Science Security and Cryptology (2002/2003)   5     
Bachelor in Computer Science (old system) Algorithms and Data Structures (2001/2002)   2     
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2001/2002)   10      Teoria
Bachelor in Computer Science (old system) Security and Cryptology (2001/2002)   5     
Bachelor in Computer Science (old system) Operating Systems (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.

Research groups

ForMe - Formal Methods for the Design of Engineering Systems
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.
Research interests
Topic Description Research area
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Cybersecurity
Formal methods and theory of security
Models for hybrid systems Study of models for the representation of concurrent systems exhibiting discrete and continuous behaviors. Use of models for the analysis of distributed control systems. Software Engineering and Formal Verification
Models of computation
Concurrent stochastic models Study of concurrency models that include stochastic behaviors. Use of such models for the analysis of distributed systems and protocols that employ cryptographic primitives. Software Engineering and Formal Verification
Models of computation
Probabilistic Analysis of Security Static analysis of approximate security properties via Probabilistic Abstract Interpretation Cybersecurity
Formal methods and theory of security
Projects
Title Starting date
In search of evidence of stealth cyber threats - COVERT 6/1/24
Novel Methodologies and Tools for Next Generation Cyber Ranges - NOMEN 5/21/24
Studio di metodologie per lo sviluppo di strumenti e infrastrutture di trading meccanico 5/2/23
ARS - Autonomous Robotic Surgery 10/1/17
Security Horizons 2/1/13
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



Organization

Department facilities

Share