IMDEA Software

IMDEA initiative

Home > News > 2014 > Welcome Roberto Giacobazzi

October 27, 2014

Welcome Roberto Giacobazzi

It is our great pleasure to welcome Professor Roberto Giacobazzi of the University of Verona, Italy as an University of Verona, Italy visiting faculty member. Roberto is best known for his extensive and foundational work on abstract interpretation: both in the general theory, and in its applications to program semantics, static program analysis, language-based security, digital asset protection, and malware analysis, among other things. Roberto is the author of over 100 publications in international journals and conferences, and serves on the steering committees of the ACM Symposium on Principles of Programming Languages (POPL) and the Static Analysis Symposium (SAS).