Not registered as user yet
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. 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.
Contributions
2024
View general profile