Roberto Giacobazzi

Foto Lavagna,  October 31, 2016
Position
Full Professor
Disciplinary sector
INF/01 - INFORMATICS
Office
Ca' Vignal 2,  Floor 1,  Room 53
Telephone
+39 045 802 7995
Fax
045 802 7973
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
Curriculum

Office Hours

Wednesday, Hours 2:00 PM - 5:00 PM,   Ca' Vignal 2, floor 1, room 53

In caso di mia assenza presso lo studio, inviate una email!

Insegnamenti

Risultano 44 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Languages and compilers (2016/2017)   12  eLearning LINGUAGGI
Department Computer Science  Malware (2016/2017)   6   
Department Computer Science  Software security (2016/2017)   6  eLearning
Department Computer Science  Languages and compilers (2015/2016)   12  eLearning LINGUAGGI
Department Computer Science  Malware (2015/2016)   6   
Department Computer Science  Static analysis and code protection (2015/2016)   6  eLearning
Department Computer Science  Foundations of Computing (2013/2014)   6   
Department Computer Science  Static analysis and code protection (2013/2014)   6   
Department Computer Science  Foundations of Computing (2012/2013)   6   
Department Computer Science  Static analysis and code protection (2012/2013)   6   
Department Computer Science  Foundations of Computing (2011/2012)   6   
Department Computer Science  Static analysis and code protection (2011/2012)   6   
Department Computer Science  Foundations of Computing (2010/2011)   6   
Department Computer Science  Mathematics methods for computer science (2010/2011)   6   
Department Computer Science  Static analysis and code protection (2010/2011)   6   
Department Computer Science  Foundations of Computing (2009/2010)   6   
Department Computer Science  Static analysis and code protection (2009/2010)   6   
Department Computer Science  Automatic System Analysis and Verification (2008/2009)   5   
Department Computer Science  Foundations of Computing (2008/2009)   6   
Department Computer Science  Automatic System Analysis and Verification (2007/2008)   5   
Department Computer Science  Foundations of Computing (2007/2008)   6   
Department Computer Science  Automatic System Analysis and Verification (2006/2007)   5   
Department Computer Science  Foundations of Computing (2006/2007)   6   
Department di Informatica (attivo fino al 1 marzo 2010)  Tecniche di protezione del software (2006/2007)   5     
Department Computer Science  Automatic System Analysis and Verification (2005/2006)   5   
Department Computer Science  Foundations of Computing (2005/2006)   6   
Department Computer Science  Automatic System Analysis and Verification (2004/2005)   5     
Department Computer Science  Foundations of Computing (2004/2005)   6     
Department Computer Science  Programming Languages (2004/2005)   5     
Department Computer Science  Automatic System Analysis and Verification (2003/2004)   5     
Department Computer Science  Foundations of Computing (2003/2004)   6     
Department Computer Science  Programming Languages (2003/2004)   5     
Department Computer Science  Automatic System Analysis and Verification (2002/2003)   5     
Department Computer Science  Foundations of Computing (2002/2003)   6     
Department Computer Science  Programming Languages (2002/2003)   5     
Department Computer Science  Formal Methods: Software Anaylsis and Verification (2001/2002)   1     
Department Computer Science  Foundations of Computing (2001/2002)   1     
Department Computer Science  Foundations of Computing (2001/2002)   6     
Department Computer Science  Formal Methods (2000/2001)   1     
Department Computer Science  Foundations of Computing: Computational Complexity (2000/2001)   0     
Department Computer Science  Introduction to Programming (2000/2001)   2     
Department Computer Science  Formal Methods (1999/2000)   1     
Department Computer Science  Foundations of Computing (1999/2000)   1     
Department Computer Science  Introduction to Programming (1999/2000)   2     

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


 

Research groups

SPY
Skills
Topic Description Research area
Code synthesis Ingegneria del software e sicurezza
Software and its engineering - Software creation and management
Formal software and application security Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. Ingegneria del software e sicurezza
Security and privacy - Software and application security
Protezione del software Development of formal techniques and tools for the protection of software. Ingegneria del software e sicurezza
Security and privacy - Formal methods and theory of security
Semantics Informatica teorica
Theory of computation - Semantics and reasoning
Static Analysis Study of techniques for the static analysis of object-oriented and low-level languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. Ingegneria del software e sicurezza
Software and its engineering - Software organization and properties
Projects
Title Starting date
Abstract interpretation based analysis of Scripting Languages - Joint Projects 2014 12/1/14
IDACOP - Interpretation-based design and measurement of code-protecting transformations - Joint Projects 2014 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



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

Roberto Giacobazzi
Office Collegial Body
full prof. Council of the PhD School in Computer Science - Department Computer Science
component Collegio Didattico di Informatica - Department Computer Science
component Computer Science Department Council - Department Computer Science
member Computer Science Department Board - Department Computer Science