mercoledì,
Ore 14.00
- 18.00,
Ca' Vignal 2, piano 1, stanza 78
In caso di mia assenza presso lo studio, inviate una email!
Insegnamenti attivi nel periodo selezionato: 54.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Argomento | Descrizione | Area di ricerca |
---|---|---|
Analisi statica | Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. |
Ingegneria del Software e Sicurezza
Software organization and properties |
Aspetti formali di sicurezza del software | Sviluppo di modelli e analisi, basate su interpretazione astratta, per la verifica e l'analisi di proprietà di sicurezza di programmi. |
Ingegneria del Software e Sicurezza
Software and application security |
Protezione del software | Sviluppo di tecniche formali e strumenti per la protezione del software. |
Ingegneria del Software e Sicurezza
Formal methods and theory of security |
Semantica di programmi | Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. |
Informatica teorica
Semantics and reasoning |
Sintesi di codice | Studio e sviluppo di tecniche per la sintesi di codice (o la trasformazione di codice) dalla specifica di proprietà semantiche del codice. |
Ingegneria del Software e Sicurezza
Software creation and management |