It is our great pleasure to welcome Professor Roberto Giacobazzi of the
University of Verona, Italy as an IMDEA Software Institute 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).