Insegnamenti attivi nel periodo selezionato: 48.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Argomento | Descrizione | Area di ricerca |
---|---|---|
Formal methods for security analysis of cyber-physical systems | Metodi formali per lo sviluppo di strumenti di verifica formali e automatici in grado di verificare la sicurezza di sistemi ciberfisici e sistemi IoT |
Ingegneria del Software e Sicurezza
Formal methods and theory of security |
Models for concurrent, distributed, and mobile systems | Calcoli di processo per sistemi concorrenti, distribuiti e con mobilita' di codice e/o agenti. Piu' di recente, calcoli di processo per sistemi ciberfisici e sistemi IoT. |
Informatica teorica
Models of computation |
Semantics of concurrent, distributed, and mobile systems | Semantica operazionali per linguaggi concorrenti, distribuiti e con mobilita' di codice e/o agenti. Tecniche di specifica di verifica del buon comportamento di tali sistemi. |
Informatica teorica
Semantics and reasoning |
Verification of wireless networks protocols | Tecniche semantiche e di model checking, anche statistico, per la verifica della correttezza di protocolli di reti wireless |
Ingegneria del Software e Sicurezza
Software organization and properties |
Carica | Organo collegiale |
---|---|
coordinatore del corso di dottorato | Collegio dei Docenti del Dottorato in Informatica A.A. 2019/2020 - Dipartimento Informatica |
componente | Collegio Didattico di Informatica - Dipartimento Informatica |
componente | Commissione Ricerca del Dipartimento - Dipartimento Informatica |
componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
coordinatore del corso di dottorato in Informatica | Consiglio della Scuola di Dottorato in Scienze Naturali e Ingegneristiche |
componente | Giunta del Dipartimento di Informatica - Dipartimento Informatica |