Roberto Giacobazzi

Registered user since Sun 7 Jun 2015

Name:Roberto Giacobazzi
Bio:

Roberto Giacobazzi received the Laurea degree in Computer Science in 1988 from the University of Pisa, and in 1993 he received the Ph.D. in Computer Science from the same university, with a Ph.D. thesis on Semantic aspects of logic program analysis, under the supervision of Prof. Giorgio Levi. From 1993 to 1995 he had a Post Doctoral Research position at Laboratoire d’Informatique (LIX), Ecole Polytechnique (Paris) in the equipe Cousot. From 1995 to 1998 he was (tenured) Assistant Professor in Computer Science at the University of Pisa. From May 2000 until now he is Full Professor in Computer Science at the University of Verona. The research interests of Roberto Giacobazzi include abstract interpretation, static program analysis, semantics of programming languages, program verification, abstract model-checking, program transformation and optimization, digital asset protection, code obfuscation, malware detection, software watermarking, computability and lattice theory. He has been Program Chair of SAS, VMCAI, of workshops in programming languages and language based security, and General Chair of ACM POPL2013. From 2006 to 2012 he has been Dean of the College of Science of the University of Verona. He works at the University of Verona and at IMDEA Software Institute.

Country:Italy
Affiliation:University of Verona
Research interests:Abstract Interpretation, static analysis, security, program transformation

Contributions

SAS 2022 Committee Member in Program Committee within the SAS 2022 Papers-track
PLDI 2022 Author of Abstract Interpretation Repair within the PLDI-track
ECOOP 2022 Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the Hub Talks-track
POPL 2022 Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the POPL-track
Session Chair of Automated Verification (part of POPL)
SAS 2021 Committee Member in Program Committee within the SAS-track
PLanQC 2021 Author of qKleene: Verification of Quantum RAM Made Easy within the PLanQC 2021-track
SAS 2020 Author of Formal framework for reasoning about the precision of dynamic analysis within the SAS-track
POPL 2020 Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track
VPT 2019 Author of Hacking program analysis: a systematic approach to code protection within the VPT 2019 -track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
Session Chair of Session 4 (part of PEPM 2019)
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-track
POPL 2019 Author of A^2 I: Abstract^2 Interpretation within the Research Papers-track
VMCAI 2018 Author of Code Obfuscation Against Abstract Model Checking Attacks within the VMCAI 2018-track
POPL 2018 Author of Code Obfuscation - A Hacking view on program analysis and understanding. within the TutorialFest-track
N40AI 2017 Session Chair of Opening (part of Next 40 years of Abstract Interpretation)
Committee Member in Organizer within the Next 40 years of Abstract Interpretation-track
VMCAI 2017 Committee Member in Program committee
Session Chair of Abstract Interpretation (part of VMCAI)
POPL 2017 Session Chair of Invited speaker (part of POPL)
Speaker of 40 Years of Abstract Interpretation — An Interview with Patrick Cousot within the POPL-track
POPL 2016 Session Chair of Track 1: Synthesis (part of Research Papers)
ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
Committee Member in Steering Committee
PEPM 2015 Author of Germán Puebla Memorial within the PEPM 2015-track