ceccato
univr
it
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 ********