segala
univrit
Curriculum
(pdf, en, 182 KB, 14/10/17)
Curriculum (ita)
(pdf, it, 182 KB, 14/10/17)
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 attivi nel periodo selezionato: 62.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
| 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 |
| Carica | Organo collegiale |
|---|---|
| componente | Collegio Didattico di Informatica - Dipartimento Informatica |
| componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
| componente | Esaminatori ECDL |
