Mercoledì, ore 14:30.
Ricevimento in presenza o via zoom. Giorno e orario da concordare preventivamente via email.
Insegnamenti attivi nel periodo selezionato: 37.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
Argomento | Descrizione | Area di ricerca |
---|---|---|
Protezione del software | Sviluppo di tecniche formali e strumenti per la protezione del software. |
Sicurezza informatica
Formal methods and theory of security |
Testing del software | Generazione automatica di casi di test per rivelare difetti di implementazione e vulnerabilità in sistemi software come API REST, app per smartphone e smart contracts. |
Ingegneria del Software e Verifica Formale
Software testing and debugging |
******** CSS e script comuni siti DOL - frase 9957 ********