Roberto Segala

Roberto Segala,  January 20, 2015
Position
Full Professor
Academic sector
INF/01 - INFORMATICS
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: 51.
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 for Bioinformatics (2017/2018)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2017/2018)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2016/2017)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2016/2017)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2015/2016)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2015/2016)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2014/2015)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2014/2015)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2013/2014)   12  eLearning 12 
Master's degree in Computer Science and Engineering Cryptography (2013/2014)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2012/2013)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2012/2013)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2011/2012)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2011/2012)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2010/2011)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2010/2011)   6  eLearning
Bachelor's degree in Computer Science Algorithms for Bioinformatics (2009/2010)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Computer Science and Engineering Cryptography (2009/2010)   6  eLearning
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2008/2009)   10    Teoria
Masters in Computer Science Security and Cryptology (2008/2009)   5  eLearning
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2007/2008)   10    Teoria
Masters in Computer Science Security and Cryptology (2007/2008)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2006/2007)   10    Teoria
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2006/2007)   6    Teoria
Laboratorio
Masters in Computer Science Security and Cryptology (2006/2007)   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    Teoria
Bachelor in Agroindustrial Biotechnology (until 2008-2009 academic year) Information Technology (2005/2006)   6    Teoria
Laboratorio
Masters in Computer Science Security and Cryptology (2005/2006)   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      Teoria base
  Modulo aggiuntivo
Bachelor in Computer Science (until 2008-2009 academic year) Algorithms and Data Structures (2003/2004)   10      Laboratorio
  Teoria
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     

 
Skills
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 Ingegneria del software e sicurezza
Security and privacy - 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
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. Informatica teorica
Theory of computation - Models of computation
Probabilistic Analysis of Security Static analysis of approximate security properties via Probabilistic Abstract Interpretation Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Projects
Title Starting date
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




Chairperson
  • Esaminatori ECDL

Roberto Segala
Office Collegial Body
full prof. Council of the PhD School in Computer Science - Department Computer Science
component Collegio Didattico di Informatica - Department Computer Science
component Teaching staff body for the master in Planning and Management of Network Systems
component Computer Science Department Council - Department Computer Science
component Esaminatori ECDL