Personal information

Verified email addresses

Programming Language Semantics, Relational Techniques, Rewriting, Bisimulation and Coinduction, Quantitative and Differential Semantics
Italy

Activities

Employment (9)

Università degli Studi di Padova: Padova, IT

2023-12-04 to present | Assistant Professor (Mathematics)
Employment
Source: Self-asserted source
FRANCESCO GAVAZZO

University of Pisa: Pisa, Toscana, IT

2022-07-01 to present | Assistant Professor (Computer Science)
Employment
Source: Self-asserted source
FRANCESCO GAVAZZO

Università di Bologna: Bologna, Emilia-Romagna, IT

2022-02 to present | Adjunct professor (Computer Science and Engineering, MSc Artificial Intelligence)
Employment
Source: Self-asserted source
FRANCESCO GAVAZZO

Università di Bologna: Bologna, Emilia-Romagna, IT

2020 to present | Adjunct professor (Pharmacy and Biotechnology, BSc Genomics)
Employment
Source: Self-asserted source
FRANCESCO GAVAZZO

Università di Bologna: Bologna, Emilia-Romagna, IT

2019-09-27 to present | Research fellow (Computer Science and Engineering )
Employment
Source: Self-asserted source
FRANCESCO GAVAZZO

Università di Padova: Padova, Veneto, IT

2023-12-04 to 2026-12-04 | Ricercatori a tempo determinato (Dipartimento di Matematica "Tullio Levi-Civita" - DM)
Employment
Source: check_circle
Università degli Studi di Padova - IRIS

Universita' di Pisa: Pisa, Toscana, IT

2022-07-01 to 2025-07-01 | Ricercatori a tempo determinato (DIPARTIMENTO DI INFORMATICA)
Employment
Source: check_circle
Università di Pisa - IRIS

Università di Bologna: Bologna, Emilia-Romagna, IT

2020-03 to 2020-05 | Adjunct professor (Computer Science and Engineering, BSc Information Science for Management)
Employment
Source: Self-asserted source
FRANCESCO GAVAZZO

IMDEA Software: Pozuelo de Alarcón, ES

2018-12-10 to 2019-09-26 | Research Fellow
Employment
Source: Self-asserted source
FRANCESCO GAVAZZO

Education and qualifications (2)

Università di Bologna: Bologna, Emilia-Romagna, IT

2015-11 to 2019-03 | PhD (Computer Science and Engineering)
Education
Source: Self-asserted source
FRANCESCO GAVAZZO

Universiteit van Amsterdam Institute for Logic Language and Computation: Amsterdam, Noord-Holland, NL

2012 to 2015 | MSc Logic
Education
Source: Self-asserted source
FRANCESCO GAVAZZO

Professional activities (1)

European Association for Theoretical Computer Science: Como, IT

2019 | Best Italian PhD Thesis in Theoretical Computer Science (Italian Chapter EATCS)
Distinction
Source: Self-asserted source
FRANCESCO GAVAZZO

Works (26)

Allegories of Symbolic Manipulations

2023-01-01 | Conference paper
WOSUID:

WOS:001036707700058

Source: check_circle
Università di Pisa - IRIS
grade
Preferred source (of 2)‎

Elements of Quantitative Rewriting

2023-01-01 | Journal article
EID:

2-s2.0-85146433894

WOSUID:

WOS:000910847500063

Source: check_circle
Università di Pisa - IRIS
grade
Preferred source (of 3)‎

Open Higher-Order Logic

2023-01-01 | Conference paper
Source: check_circle
Università di Pisa - IRIS
grade
Preferred source (of 2)‎

A Fibrational Tale of Operational Logical Relations

Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022 | Journal article
Contributors: FRANCESCO GAVAZZO; Francesco Dagnino; Francesco Gavazzo
Source: Self-asserted source
FRANCESCO GAVAZZO
grade
Preferred source (of 3)‎

On Feller continuity and full abstraction

Proceedings of the ACM on Programming Languages
2022-08-29 | Journal article
Contributors: Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

A relational theory of effects and coeffects

Proceedings of the ACM on Programming Languages
2022-01-16 | Journal article
Part of ISSN: 2475-1421
Contributors: FRANCESCO GAVAZZO; Ugo Dal Lago; Francesco Gavazzo
Source: Self-asserted source
FRANCESCO GAVAZZO
grade
Preferred source (of 3)‎

Effectful program distancing

Proceedings of the ACM on Programming Languages
2022-01-16 | Journal article
Part of ISSN: 2475-1421
Contributors: FRANCESCO GAVAZZO; Ugo Dal Lago; Francesco Gavazzo
Source: Self-asserted source
FRANCESCO GAVAZZO
grade
Preferred source (of 3)‎

A Relational Theory of Monadic Rewriting Systems, Part i

Proceedings - Symposium on Logic in Computer Science
2021 | Conference paper
EID:

2-s2.0-85113888265

Part of ISSN: 10436871
Contributors: Gavazzo, F.; Faggian, C.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Modal reasoning = Metric reasoning, via lawvere

arXiv
2021 | Other
EID:

2-s2.0-85102825840

Part of ISSN: 23318422
Contributors: Lago, U.D.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier

Resource transition systems and full abstraction for linear higher-order effectful programs

Leibniz International Proceedings in Informatics, LIPIcs
2021 | Conference paper
EID:

2-s2.0-85115210017

Part of ISSN: 18688969
Contributors: Lago, U.D.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Resource transition systems and full abstraction for linear higher-order effectful systems

arXiv
2021 | Other
EID:

2-s2.0-85109706131

Part of ISSN: 23318422
Contributors: Lago, U.D.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier

Differential logical relations, part II increments and derivatives

Theoretical Computer Science
2021-12 | Journal article
Contributors: Ugo Dal Lago; Francesco Gavazzo
Source: check_circle
Crossref
grade
Preferred source (of 3)‎

A diagrammatic calculus for algebraic effects: Preliminary report

arXiv
2020 | Other
EID:

2-s2.0-85095491512

Part of ISSN: 23318422
Contributors: Lago, U.D.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier

Differential logical relations<sup>*</sup> part II: Increments and derivatives

CEUR Workshop Proceedings
2020 | Conference paper
EID:

2-s2.0-85097574083

Part of ISSN: 16130073
Contributors: Lago, U.D.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Effectful applicative similarity for call-by-name lambda calculi

Theoretical Computer Science
2020 | Journal article
EID:

2-s2.0-85077683787

Part of ISSN: 03043975
Contributors: Dal Lago, U.; Gavazzo, F.; Tanaka, R.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

On the Versatility of Open Logical Relations

2020 | Book chapter
Contributors: Gilles Barthe; Raphaëlle Crubillé; Ugo Dal Lago; Francesco Gavazzo
Source: check_circle
Crossref
grade
Preferred source (of 3)‎

On the versatility of open logical relations continuity, automatic differentiation, and a containment theorem

arXiv
2020 | Other
EID:

2-s2.0-85095535816

Part of ISSN: 23318422
Contributors: Barthe, G.; Crubillé, R.; Lago, U.D.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier

Differential logical relations part I: The simply-typed case

arXiv
2019 | Other
EID:

2-s2.0-85094533748

Part of ISSN: 23318422
Contributors: Lago, U.D.; Gavazzo, F.; Yoshimizu, A.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier

Differential logical relations, Part I: The simply-typed case

Leibniz International Proceedings in Informatics, LIPIcs
2019 | Conference paper
EID:

2-s2.0-85069210248

Part of ISSN: 18688969
Contributors: Lago, U.D.; Gavazzo, F.; Yoshimizu, A.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Effectful Normal Form Bisimulation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019 | Book
EID:

2-s2.0-85064905828

Part of ISSN: 16113349 03029743
Contributors: Dal Lago, U.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice

Electronic Notes in Theoretical Computer Science
2019 | Journal article
EID:

2-s2.0-85081789954

Part of ISSN: 15710661
Contributors: Lago, U.D.; Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Quantitative behavioural reasoning for higher-order effectful programs: Applicative distances

Proceedings - Symposium on Logic in Computer Science
2018 | Conference paper
EID:

2-s2.0-85051101223

Part of ISSN: 10436871
Contributors: Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version)

arXiv
2018 | Other
EID:

2-s2.0-85094016573

Part of ISSN: 23318422
Contributors: Gavazzo, F.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier

Effectful applicative bisimilarity: Monads, relators, and Howe's method

Proceedings - Symposium on Logic in Computer Science
2017 | Conference paper
EID:

2-s2.0-85034029471

Contributors: Lago, U.D.; Gavazzo, F.; Levy, P.B.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎

Effectful applicative bisimilarity: Monads, relators, and Howe’s method (Long version)

arXiv
2017 | Other
EID:

2-s2.0-85092806184

Part of ISSN: 23318422
Contributors: Lago, U.D.; Gavazzo, F.; Levy, P.B.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier

Effectful applicative similarity for call-by-name lambda calculi

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85031894223

Contributors: Lago, U.D.; Gavazzo, F.; Tanaka, R.
Source: Self-asserted source
FRANCESCO GAVAZZO via Scopus - Elsevier
grade
Preferred source (of 2)‎