Roberto Giacobazzi

Foto Lavagna,  31 ottobre 2016
Qualifica
Professore ordinario
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

Settore di Ricerca (ERC)
PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Telefono
+39 045 802 7995
E-mail
roberto|giacobazzi*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~giaco

Orario di ricevimento

Trasferito persso U. of Arizona

Curriculum
  • pdf   CV Eng   (pdf, en, 177 KB, 28/02/24)
  • pdf   CV Ita   (pdf, it, 117 KB, 28/02/24)

Ora in servizio presso University of Arizona.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 63.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Scienze filosofiche [LM-78] Epistemologia e filosofia della scienza (2022/2023)   6  eLearning (Filosofia della scienza)
(Epistemologia)
Laurea in Informatica [L-31] Fondamenti dell'informatica (2022/2023)   6  eLearning
Laurea magistrale in Diritto per le tecnologie e l'innovazione sostenibile [LM/SC-GIU] Nuove tecnologie e gestione dei dati (2022/2023)   12  eLearning TECNOLOGIE INFORMATICHE
Laurea in Bioinformatica [L-31] Tutela dei beni immateriali (SW e invenzione) tra diritto industriale e diritto d’autore (2022/2023)   3  eLearning
Laurea magistrale in Scienze filosofiche [LM-78] Epistemologia e filosofia della scienza (2021/2022)   6  eLearning (Epistemologia)
Laurea in Informatica [L-31] Fondamenti dell'informatica (2021/2022)   6  eLearning
Laurea magistrale in Diritto per le tecnologie e l'innovazione sostenibile [LM/SC-GIU] Nuove tecnologie e gestione dei dati (2021/2022)   12  eLearning TECNOLOGIE INFORMATICHE
Laurea in Bioinformatica [L-31] Tutela dei beni immateriali (SW e invenzione) tra diritto industriale e diritto d’autore (2021/2022)   3  eLearning
Laurea magistrale in Scienze filosofiche [LM-78] Epistemologia e filosofia della scienza (2020/2021)   6  eLearning
Laurea in Informatica [L-31] Fondamenti dell'informatica (2020/2021)   6  eLearning
Laurea in Bioinformatica [L-31] Tutela dei beni immateriali (SW e invenzione) tra diritto industriale e diritto d’autore (2020/2021)   3  eLearning
Laurea in Informatica [L-31] Fondamenti dell'informatica (2019/2020)   6   
Laurea in Bioinformatica [L-31] Minicorso Blockchain (2019/2020)   2   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2018/2019)   6  eLearning (Teoria)
Laurea in Informatica [L-31] Fondamenti dell'informatica (2018/2019)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2017/2018)   6   
Laurea in Informatica [L-31] Fondamenti dell'informatica (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza del software (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2016/2017)   6  eLearning
Laurea in Informatica [L-31] Linguaggi e compilatori (2016/2017)   12  eLearning LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza del software (2016/2017)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2015/2016)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2015/2016)   6   
Laurea in Informatica [L-31] Linguaggi e compilatori (2015/2016)   12    LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2013/2014)   6   
Laurea in Informatica [L-31] Fondamenti dell'informatica (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2012/2013)   6   
Laurea in Informatica [L-31] Fondamenti dell'informatica (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2011/2012)   6   
Laurea in Informatica [L-31] Fondamenti dell'informatica (2011/2012)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2010/2011)   6   
Laurea in Informatica [L-31] Fondamenti dell'informatica (2010/2011)   6   
Laurea magistrale in Mathematics [LM-40] Metodi matematici per l'informatica (2010/2011)   6   
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2009/2010)   6   
Laurea in Informatica [L-31] Fondamenti dell'informatica (2009/2010)   6   
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2008/2009)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2008/2009)   6   
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2007/2008)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2007/2008)   6   
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2006/2007)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2006/2007)   6   
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Tecniche di protezione del software (2006/2007)   5     
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2005/2006)   5   
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2005/2006)   6   
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2004/2005)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2004/2005)   6     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Linguaggi di programmazione (2004/2005)   5     
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2003/2004)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2003/2004)   6     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Linguaggi di programmazione (2003/2004)   5     
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2002/2003)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2002/2003)   6     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Linguaggi di programmazione (2002/2003)   5     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica (2001/2002)   1     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2001/2002)   6     
Laurea in Informatica (vecchio ordinamento) Metodi formali: analisi e verifica del software (2001/2002)   1     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: complessità (2000/2001)   0     
Laurea in Informatica (vecchio ordinamento) Metodi formali (2000/2001)   1     
Laurea in Informatica (vecchio ordinamento) Programmazione (2000/2001)   2     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica (1999/2000)   1     
Laurea in Informatica (vecchio ordinamento) Metodi formali (1999/2000)   1     
Laurea in Informatica (vecchio ordinamento) Programmazione (1999/2000)   2     

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

Gruppi di ricerca

SPY
Competenze
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 verifica formale
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. Sicurezza informatica
Software and application security
Protezione del software Sviluppo di tecniche formali e strumenti per la protezione del software. Sicurezza informatica
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. Ingegneria del Software e verifica formale
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 verifica formale
Software creation and management
Progetti
Titolo Data inizio
Threat data analysis 06/06/23
The SMArt LAbel as a guarantee tool in the WInery-customer trust relationship for Venetian high quality Pgi wines) SMA.LA.WI 01/04/19
Rimozione automatica di falsi allarmi mediante compilazione 13/02/17
JP2014 - Analisi basata sull'interpretazione astratta dei linguaggi di scripting 01/12/14
JP2014 - Progettazione basata sull'interpretazione e misurazione delle trasformazioni del codice di protezione 01/11/14
FACE: Sconfiggere i malware in modo formale (FIRB 2013) 10/03/14
Analisi statica per Applicazioni Android Affidabili 05/06/13
Analisi, verifica e sintesi di sistemi software/hardware mediante l'impiego sinergico di interpretazione astratta e ragionamento automatico (PRIN 2010-11 non finanziato) 01/06/12
MoreGAIN - Mismatch smoothing by smart recordering - Joint Projects 2011 01/01/12
Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato) 15/07/11
Shadowcode: code protection in .net by abstract and dynamic steganography - Joint Project 2007 12/03/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation 27/11/08
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 22/09/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation 26/03/08
Sviluppo prototipo marcatura software 13/03/07
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) 09/02/07
InterAbstract - Verification and Security by Abstract Interpretation 01/12/05
INTERLINK InterAbstract, modalità C 01/01/05
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) 30/11/04
Property driven design of static program analyses 15/03/03
Interpretazione astratta e model checking per la verifica di sistemi embedded 21/02/03
(CoVer) Constraint-based Verification of Reactive systems 01/12/02
Astrazione e verifica 01/06/02
Verifica automatica di sistemi reattivi mediante interpretazione astratta e model checking 01/05/02
Dottorato di ricerca in Co-tutela internazionale in logiche e metodi formali per l'informatica 01/01/02
Abstract Interpretation, type systems and control-flow analysis 26/11/00
Analisi di sistemi distribuiti e mobili con interpretazione astratta e sistemi di tipo (2000) 01/01/00
Certificazione automatica di programmi mediante interpretazione astratta 26/11/99
Domini astratti per la certificazione automatica di programmi (1999) 01/01/99




Presidente
  • Comitato Scientifico del Master in Comitato Scientifico del Master in Progettazione Multimediale e Video
  • Comitato Scientifico del Master in Progettazione Multimediale e Video

Altri incarichi
Roberto Giacobazzi
Carica Organo collegiale
componente Comitato Scientifico del Corso di aggiornamento professionale in Nuovi modelli organizzativi e tecnologici per lo smart working - Dipartimento Informatica
componente Consiglio del Dipartimento di Informatica - Dipartimento Informatica

Organizzazione

Strutture del dipartimento

Condividi