 
                  
              
          
            
        
     ceccato
ceccato univr
univr it
it
Mercoledì, ore 14:30.
Ricevimento in presenza o via zoom. Giorno e orario da concordare preventivamente via email.
 Curriculum vitae EN   
                 (pdf, en, 196 KB, 20/02/25)
                
                  
                
                Curriculum vitae EN   
                 (pdf, en, 196 KB, 20/02/25)           
               Curriculum vitae IT   
                 (pdf, it, 193 KB, 20/02/25)
                
                  
                
                Curriculum vitae IT   
                 (pdf, it, 193 KB, 20/02/25)           
                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 ********