معرفی
Francesco Gavazzo is an Assistant Professor at the Department of Mathematics, University of Padua. His research focuses on theoretical computer science, particularly in programming language semantics, computational effects, relational reasoning, and inductive/coinductive methods.
- PhD in Computer Science and Engineering, with Honor Mention
- MSc in Logic and Computer Science
- BA in Philosophy
His work bridges formal methods with practical applications in program equivalence, quantitative semantics, and effect systems. Recent contributions include frameworks for effectful program distancing and relational theories of effects.
Scientific awards include recognition by the Accademia delle Scienze dell'Istituto di Bologna (Top 10 in Science) and the Best Italian PhD Thesis in Theoretical Computer Science (EATCS Italian Chapter). He serves on program committees for POPL and ICFP.
