POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Roberto Giacobazzi

Not registered as user yet

Name:Roberto Giacobazzi
Bio:

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.

Country:United States
Affiliation:University of Arizona, Tucson, Arizona, USA
Research interests:Abstract interpretation, program analysis, theory of computation

Contributions

Show activities from other conferences

POPL 2024-profile
View general profile