POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
Fri 19 Jan 2024 08:25 - 08:35 at Siemens Boardroom - Friday Breakfast Session Previews Chair(s): Xulei Liu

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.

Fri 19 Jan

Displayed time zone: London change

08:25 - 08:45
Friday Breakfast Session PreviewsSession Previews at Siemens Boardroom
Chair(s): Xulei Liu Delft University of Technology
08:25
10m
Research preview
Program Analysis: Session Preview
Session Previews
Roberto Giacobazzi University of Arizona, Tucson, Arizona, USA
08:35
10m
Research preview
Type Theory: Session Preview
Session Previews
Kuen-Bang Hou (Favonia) University of Minnesota