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
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: 65.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
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    4  (Laboratorio)
8  (Teoria)
Master's degree in Computer Science and Engineering Cryptography (2010/2011)   6    6 
Bachelor's degree in Computer Science Algorithms (2009/2010)   12    8  (Teoria)
4  (Laboratorio)
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      Laboratorio
  Teoria
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2004/2005)   6     
Masters in Computer Science Security and Cryptology (2004/2005)   5      Teoria base
  Modulo aggiuntivo
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     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

MyUnivr

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
Formal methods and theory of security Development of formal, and possibly automated, methods for the analysis of the security of software systems Software Engineering and Formal Verification
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. Algebra, Geometry, and Mathematical Logic
Models of computation
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. Algorithms, Logic, and Theory of Computing
Models of computation
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. Software Engineering and Formal Verification
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. Algebra, Geometry, and Mathematical Logic
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. Algorithms, Logic, and Theory of Computing
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. 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
Probabilistic Analysis of Security Static analysis of approximate security properties via Probabilistic Abstract Interpretation Software Engineering and Formal Verification
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



Chair
  • Esaminatori ECDL

Roberto Segala
Office Collegial Body
member Computer Science Teaching Committee - Department Computer Science
member Computer Science Department Council - Department Computer Science
member Esaminatori ECDL

Organization

Department facilities

Share