About
Francesco Gavazzo is an Assistant Professor in the Department of Mathematics at the University of Padua, Italy, specializing in theoretical computer science with a focus on programming language semantics. He serves as Principal Investigator for the PRIN Project RAP (Resource Awareness in Programming), demonstrating his leadership in research initiatives.
His research interests span Programming Language Semantics (particularly program equivalence and distance, computational effects and coeffects), Relational Reasoning (algebras and calculi of program relations), and Induction and Coinduction principles. His work bridges theoretical foundations with practical applications in programming language design and analysis.
Gavazzo's publication record shows a consistent contribution to top-tier conferences including POPL, ICFP, and ESOP, with research trending toward quantitative approaches to program semantics, effectful computations, and formal methods for reasoning about program behavior. His work increasingly integrates concepts from metric spaces and quantitative analysis with traditional programming language theory.
Scientific Awards:
- Accademia delle Scienze dell'Istituto di Bologna, Concorso Top 10 in Science
- Best Italian PhD Thesis in Theoretical Computer Science by the Italian Chapter of EATCS
He has been actively involved in the programming languages research community as both author and program committee member across multiple conferences including ICFP and POPL, contributing to the advancement of the field through both research and service.
