Roberto Giacobazzi

Foto Lavagna,  October 31, 2016
Position
Full Professor
Academic sector
INFO-01/A - Informatics
Research sector (ERC-2024)
PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

Research sector (ERC)
PE6_3 - Software engineering, operating systems, computer languages

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

Telephone
+39 045 802 7995
E-mail
roberto|giacobazzi*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/~giaco

Office Hours

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.

Modules

Modules running in the period selected: 63.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Philosophy Epistemology and Philosophy of Science (2022/2023)   6  eLearning (Filosofia della scienza)
(Epistemologia)
Bachelor's degree in Computer Science Foundations of Computing (2022/2023)   6  eLearning
Master's degree in Law for Technologies and Sustainable Innovation New technologies and data management (2022/2023)   12  eLearning TECNOLOGIE INFORMATICHE
Bachelor's degree in Bioinformatics Protection of intangible assets (SW and invention)between industrial law and copyright (2022/2023)   3  eLearning
Master's degree in Philosophy Epistemology and Philosophy of Science (2021/2022)   6  eLearning (Epistemologia)
Bachelor's degree in Computer Science Foundations of Computing (2021/2022)   6  eLearning
Master's degree in Law for Technologies and Sustainable Innovation New technologies and data management (2021/2022)   12  eLearning TECNOLOGIE INFORMATICHE
Bachelor's degree in Bioinformatics Protection of intangible assets (SW and invention)between industrial law and copyright (2021/2022)   3  eLearning
Master's degree in Philosophy Epistemology and Philosophy of Science (2020/2021)   6  eLearning
Bachelor's degree in Computer Science Foundations of Computing (2020/2021)   6  eLearning
Bachelor's degree in Bioinformatics Protection of intangible assets (SW and invention)between industrial law and copyright (2020/2021)   3  eLearning
Bachelor's degree in Computer Science Foundations of Computing (2019/2020)   6   
Bachelor's degree in Bioinformatics The course provides an introduction to blockchain technology. It focuses on the technology behind Bitcoin, Ethereum, Tendermint and Hotmoka. (2019/2020)   2   
Bachelor's degree in Computer Science Foundations of Computing (2018/2019)   6   
Master's degree in Computer Science and Engineering Malware (2018/2019)   6  eLearning (Teoria)
Bachelor's degree in Computer Science Foundations of Computing (2017/2018)   6  eLearning
Master's degree in Computer Science and Engineering Malware (2017/2018)   6   
Master's degree in Computer Science and Engineering Software security (2017/2018)   6  eLearning
Bachelor's degree in Computer Science Languages and compilers (2016/2017)   12  eLearning LINGUAGGI
Master's degree in Computer Science and Engineering Malware (2016/2017)   6  eLearning
Master's degree in Computer Science and Engineering Software security (2016/2017)   6  eLearning
Bachelor's degree in Computer Science Languages and compilers (2015/2016)   12    LINGUAGGI
Master's degree in Computer Science and Engineering Malware (2015/2016)   6   
Master's degree in Computer Science and Engineering Static analysis and code protection (2015/2016)   6   
Bachelor's degree in Computer Science Foundations of Computing (2013/2014)   6   
Master's degree in Computer Science and Engineering Static analysis and code protection (2013/2014)   6   
Bachelor's degree in Computer Science Foundations of Computing (2012/2013)   6   
Master's degree in Computer Science and Engineering Static analysis and code protection (2012/2013)   6   
Bachelor's degree in Computer Science Foundations of Computing (2011/2012)   6   
Master's degree in Computer Science and Engineering Static analysis and code protection (2011/2012)   6   
Bachelor's degree in Computer Science Foundations of Computing (2010/2011)   6   
Master's degree in Mathematics Mathematics methods for computer science (2010/2011)   6   
Master's degree in Computer Science and Engineering Static analysis and code protection (2010/2011)   6   
Bachelor's degree in Computer Science Foundations of Computing (2009/2010)   6   
Master's degree in Computer Science and Engineering Static analysis and code protection (2009/2010)   6   
Masters in Computer Science Automatic System Analysis and Verification (2008/2009)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2008/2009)   6   
Masters in Computer Science Automatic System Analysis and Verification (2007/2008)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2007/2008)   6   
Masters in Computer Science Automatic System Analysis and Verification (2006/2007)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2006/2007)   6   
Level 1 Masters in Network Planning and Management Tecniche di protezione del software (2006/2007)   5     
Masters in Computer Science Automatic System Analysis and Verification (2005/2006)   5   
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2005/2006)   6   
Masters in Computer Science Automatic System Analysis and Verification (2004/2005)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2004/2005)   6     
Bachelor in Computer Science (until 2008-2009 academic year) Programming Languages (2004/2005)   5     
Masters in Computer Science Automatic System Analysis and Verification (2003/2004)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2003/2004)   6     
Bachelor in Computer Science (until 2008-2009 academic year) Programming Languages (2003/2004)   5     
Masters in Computer Science Automatic System Analysis and Verification (2002/2003)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2002/2003)   6     
Bachelor in Computer Science (until 2008-2009 academic year) Programming Languages (2002/2003)   5     
Bachelor in Computer Science (old system) Formal Methods: Software Anaylsis and Verification (2001/2002)   1     
Bachelor in Computer Science (until 2008-2009 academic year) Foundations of Computing (2001/2002)   6     
Bachelor in Computer Science (old system) Foundations of Computing (2001/2002)   1     
Bachelor in Computer Science (old system) Formal Methods (2000/2001)   1     
Bachelor in Computer Science (old system) Foundations of Computing: Computational Complexity (2000/2001)   0     
Bachelor in Computer Science (old system) Introduction to Programming (2000/2001)   2     
Bachelor in Computer Science (old system) Formal Methods (1999/2000)   1     
Bachelor in Computer Science (old system) Foundations of Computing (1999/2000)   1     
Bachelor in Computer Science (old system) Introduction to Programming (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.

Research groups

SPY
Research interests
Topic Description Research area
Static Analysis Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. Software Engineering and Formal Verification
Software organization and properties
Formal software and application security Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. Cybersecurity
Software and application security
Code protection Development of formal techniques and tools for the protection of software. Cybersecurity
Formal methods and theory of security
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Software Engineering and Formal Verification
Semantics and reasoning
Code synthesis Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties. Software Engineering and Formal Verification
Software creation and management
Projects
Title Starting date
Threat data analysis 6/6/23
The SMArt LAbel as a guarantee tool in the WInery-customer trust relationship for Venetian high quality Pgi wines) SMA.LA.WI 4/1/19
Automatic Removal of false alarms by Code translation 2/13/17
Abstract interpretation based analysis of Scripting Languages - Joint Projects 2014 12/1/14
Interpretation-based design and measurement of code-protecting transformations 11/1/14
FACE: Sconfiggere i malware in modo formale (FIRB 2013) 3/10/14
Static analysis methods for the static derivation 6/5/13
Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning 6/1/12
MoreGAIN - Mismatch smoothing by smart recordering - Joint Projects 2011 1/1/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) 7/15/11
Shadowcode: code protection in .net by abstract and dynamic steganography - Joint Project 2007 3/12/09
FUCSIA2008 - Obfuscation and Steganography by Abstract Interpretation 11/27/08
Analisi e protezione del software mediante interpretazione astratta (PRIN 2007) 9/22/08
FUCSIA2007 - Obfuscation and Steganography by Abstract Interpretation 3/26/08
Sviluppo prototipo marcatura software 3/13/07
Analisi statica e dinamica per la certificazione automatica di sicurezza di programmi (PRIN 2006) 2/9/07
InterAbstract - Verification and Security by Abstract Interpretation 12/1/05
INTERLINK InterAbstract, modalità C 1/1/05
Certificazione automatica di sistemi mediante interpretazione astratta (PRIN 2004) 11/30/04
Property driven design of static program analyses 3/15/03
Abstract interpretation and model checking for the verification of embedded systems 2/21/03
(CoVer) Constraint-based Verification of Reactive systems 12/1/02
Abstraction for verification 6/1/02
Verifica automatica di sistemi reattivi mediante interpretazione astratta e model checking 5/1/02
Dottorato di ricerca in Co-tutela internazionale in logiche e metodi formali per l'informatica 1/1/02
Abstract Interpretation, type systems and control-flow analysis 11/26/00
Analisi di sistemi distribuiti e mobili con interpretazione astratta e sistemi di tipo (2000) 1/1/00
Certificazione automatica di programmi mediante interpretazione astratta 11/26/99
Domini astratti per la certificazione automatica di programmi (1999) 1/1/99




Chair
  • Comitato Scientifico del Master in Comitato Scientifico del Master in Progettazione Multimediale e Video
  • Scientific committee for the Masters in Multimedia and Video Creation

Other positions held
Roberto Giacobazzi
Office Collegial Body
member Comitato Scientifico del Corso di aggiornamento professionale in Nuovi modelli organizzativi e tecnologici per lo smart working - Department Computer Science
member Computer Science Department Council - Department Computer Science

Organization

Department facilities

Share