Roberto Giacobazzi

Biography

Roberto Giacobazzi received a PhD in Computer Science (CS) in 1993 from the University of Pisa. From 1993 to 1995, he was PostDoc at the Ecole Polytechnique (Paris) in the equipe of Patrick and Radhia Cousot. Back to the University of Pisa as Assistant Professor in 1995, he moved to the University of Verona in 1998 and from 2000 to 2023 he was Full Professor in CS at the University of Verona. From 2016 to 2023 he was also Affiliate Faculty at the IMDEA Software Institute in Madrid (Spain) with a Cátedra de Excelencia of the Comunidad de Madrid, awarded in 2017. During the last two decades he has been Head of the Computer Science Department, Dean of the College of Science & Technology and Provost of the U. of Verona. He is now Professor in CS at the University of Arizona. His research interests include abstract interpretation, program analysis and verification, semantics of programming languages, program transformation and optimization, security, theory of computation, history of CS, and lattice theory. He was co-founder of JuliaSoft, now part of GrammaTech Inc., USA, General Chair of the 40th ACM POPL2013 and member of the steering committee of POPL until 2015. He received the Microsoft Research Software Engineering Innovation Foundation (SEIF) Award in 2013. He is ACM Distinguished Member since 2023.

Degrees

• Ph.D. Computer Science
• University of Pisa, Pisa, Italy
• Semantic aspects of logic program analysis