Roberto Segala

  1. Home
  2. Department
  3. People
  4. Roberto Segala
Roberto Segala, January 20, 2015
Position
Full Professor
Academic sector
INF/01 - INFORMATICS
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
Fax
045 802 7973
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: 60.
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 (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 
PhD in Computer Science Attività didattica dottorato (2019/2020)   50  eLearning 1 
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  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2015/2016)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2014/2015)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2014/2015)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2013/2014)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2013/2014)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2012/2013)   12  eLearning 8  (Teoria)
4  (Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2012/2013)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2011/2012)   12  eLearning 4  (Laboratorio)
8  (Teoria)
Master's degree in Computer Science and Engineering Cryptography (2011/2012)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2010/2011)   12  eLearning 8  (Teoria)
4  (Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2010/2011)   6  eLearning 6 
Bachelor's degree in Computer Science Algorithms (2009/2010)   12  eLearning 8  (Teoria)
4  (Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2009/2010)   6  eLearning 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  eLearning 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    4  Teoria
2  Laboratorio
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      Teoria
  Laboratorio
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     

 

Research groups

ForMe - Formal Method 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 Software Engineering and Security
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. Theory of computation
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. Theory of computation
Models of computation
Probabilistic Analysis of Security Static analysis of approximate security properties via Probabilistic Abstract Interpretation Software Engineering and Security
Formal methods and theory of security
Projects
Title Starting date
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