Insegnamenti attivi nel periodo selezionato: 58.
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 | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
Consiglio della Scuola di Scienze e Ingegneria - Scienze e Ingegneria | |
componente | Esaminatori ECDL |
presidente di collegio didattico | Giunta del Dipartimento di Informatica - Dipartimento Informatica |