Roberto Giacobazzi

  1. Home
  2. Dipartimento
  3. Persone
  4. 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 3  (Filosofia della scienza)
3  (Epistemologia)
Laurea in Informatica [L-31] Fondamenti dell'informatica (2022/2023)   6  eLearning 6 
Laurea magistrale in Diritto per le tecnologie e l'innovazione sostenibile [LM/SC-GIU] Nuove tecnologie e gestione dei dati (2022/2023)   12  eLearning 6  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 3 
Laurea magistrale in Scienze filosofiche [LM-78] Epistemologia e filosofia della scienza (2021/2022)   6  eLearning 3  (Epistemologia)
Laurea in Informatica [L-31] Fondamenti dell'informatica (2021/2022)   6  eLearning 6 
Laurea magistrale in Diritto per le tecnologie e l'innovazione sostenibile [LM/SC-GIU] Nuove tecnologie e gestione dei dati (2021/2022)   12  eLearning 6  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 3 
Laurea magistrale in Scienze filosofiche [LM-78] Epistemologia e filosofia della scienza (2020/2021)   6  eLearning 6 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2020/2021)   6  eLearning 6 
Laurea in Bioinformatica [L-31] Tutela dei beni immateriali (SW e invenzione) tra diritto industriale e diritto d’autore (2020/2021)   3  eLearning 3 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2019/2020)   6    6 
Laurea in Bioinformatica [L-31] Minicorso Blockchain (2019/2020)   2    1 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2018/2019)   6  eLearning 4  (Teoria)
Laurea in Informatica [L-31] Fondamenti dell'informatica (2018/2019)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2017/2018)   6    6 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2017/2018)   6  eLearning 4 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza del software (2017/2018)   6  eLearning 2 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2016/2017)   6  eLearning 6 
Laurea in Informatica [L-31] Linguaggi e compilatori (2016/2017)   12  eLearning 6  LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sicurezza del software (2016/2017)   6  eLearning 1 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2015/2016)   6    1 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Codice malevolo (2015/2016)   6    6 
Laurea in Informatica [L-31] Linguaggi e compilatori (2015/2016)   12    6  LINGUAGGI
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2013/2014)   6    6 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2012/2013)   6    6 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2011/2012)   6    6 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2010/2011)   6    6 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2010/2011)   6    6 
Laurea magistrale in Mathematics [LM-40] Metodi matematici per l'informatica (2010/2011)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Analisi statica e protezione (2009/2010)   6    6 
Laurea in Informatica [L-31] Fondamenti dell'informatica (2009/2010)   6    6 
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2008/2009)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2008/2009)   6    6 
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2007/2008)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2007/2008)   6    6 
Laurea specialistica in Informatica Analisi e verifica automatica di sistemi (2006/2007)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2006/2007)   6    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    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Fondamenti dell'informatica (2005/2006)   6    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
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
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