Personal information
Verified email addresses
francesco.gavazzo@gmail.com
Programming Language Semantics, Relational Techniques, Rewriting, Bisimulation and Coinduction, Quantitative and Differential Semantics
Italy
Activities
Employment (9)
2023-12-04
to
present
|
Assistant Professor
(Mathematics)
Employment
Source:
FRANCESCO GAVAZZO
2022-07-01
to
present
|
Assistant Professor
(Computer Science)
Employment
Source:
FRANCESCO GAVAZZO
2022-02
to
present
|
Adjunct professor
(Computer Science and Engineering, MSc Artificial Intelligence)
Employment
Source:
FRANCESCO GAVAZZO
2020
to
present
|
Adjunct professor
(Pharmacy and Biotechnology, BSc Genomics)
Employment
Source:
FRANCESCO GAVAZZO
2019-09-27
to
present
|
Research fellow
(Computer Science and Engineering )
Employment
Source:
FRANCESCO GAVAZZO
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
2022-07-01
to
2025-07-01
|
Ricercatori a tempo determinato
(DIPARTIMENTO DI INFORMATICA)
Employment
Source:
check_circle
Università di Pisa - IRIS
2020-03
to
2020-05
|
Adjunct professor
(Computer Science and Engineering, BSc Information Science for Management)
Employment
Source:
FRANCESCO GAVAZZO
2018-12-10
to
2019-09-26
|
Research Fellow
Employment
Source:
FRANCESCO GAVAZZO
Education and qualifications (2)
2015-11
to
2019-03
|
PhD
(Computer Science and Engineering)
Education
Source:
FRANCESCO GAVAZZO
2012
to
2015
|
MSc Logic
Education
Source:
FRANCESCO GAVAZZO
Professional activities (1)
2019
|
Best Italian PhD Thesis in Theoretical Computer Science
(Italian Chapter EATCS)
Distinction
Source:
FRANCESCO GAVAZZO
Works (26)
2023-01-01
|
Conference paper
WOSUID:
WOS:001036707700058
Source:
check_circle
Università di Pisa - IRIS
grade
Preferred source
(of
2)
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)
Source:
check_circle
Università di Pisa - IRIS
grade
Preferred source
(of
2)
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022
|
Journal article
Contributors:
FRANCESCO GAVAZZO;
Francesco Dagnino;
Francesco Gavazzo
Source:
FRANCESCO GAVAZZO
grade
Preferred source
(of
3)
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)
Proceedings of the ACM on Programming Languages
2022-01-16
|
Journal article
Contributors:
FRANCESCO GAVAZZO;
Ugo Dal Lago;
Francesco Gavazzo
Source:
FRANCESCO GAVAZZO
grade
Preferred source
(of
3)
Proceedings of the ACM on Programming Languages
2022-01-16
|
Journal article
Contributors:
FRANCESCO GAVAZZO;
Ugo Dal Lago;
Francesco Gavazzo
Source:
FRANCESCO GAVAZZO
grade
Preferred source
(of
3)
Proceedings - Symposium on Logic in Computer Science
2021
|
Conference paper
EID:
2-s2.0-85113888265
Contributors:
Gavazzo, F.;
Faggian, C.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
arXiv
2021
|
Other
EID:
2-s2.0-85102825840
Contributors:
Lago, U.D.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
Leibniz International Proceedings in Informatics, LIPIcs
2021
|
Conference paper
EID:
2-s2.0-85115210017
Contributors:
Lago, U.D.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
arXiv
2021
|
Other
EID:
2-s2.0-85109706131
Contributors:
Lago, U.D.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
Theoretical Computer Science
2021-12
|
Journal article
Contributors:
Ugo Dal Lago;
Francesco Gavazzo
Source:
check_circle
Crossref
grade
Preferred source
(of
3)
arXiv
2020
|
Other
EID:
2-s2.0-85095491512
Contributors:
Lago, U.D.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
CEUR Workshop Proceedings
2020
|
Conference paper
EID:
2-s2.0-85097574083
Contributors:
Lago, U.D.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
Theoretical Computer Science
2020
|
Journal article
EID:
2-s2.0-85077683787
Contributors:
Dal Lago, U.;
Gavazzo, F.;
Tanaka, R.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
2020
|
Book chapter
Contributors:
Gilles Barthe;
Raphaëlle Crubillé;
Ugo Dal Lago;
Francesco Gavazzo
Source:
check_circle
Crossref
grade
Preferred source
(of
3)
arXiv
2020
|
Other
EID:
2-s2.0-85095535816
Contributors:
Barthe, G.;
Crubillé, R.;
Lago, U.D.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
arXiv
2019
|
Other
EID:
2-s2.0-85094533748
Contributors:
Lago, U.D.;
Gavazzo, F.;
Yoshimizu, A.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
Leibniz International Proceedings in Informatics, LIPIcs
2019
|
Conference paper
EID:
2-s2.0-85069210248
Contributors:
Lago, U.D.;
Gavazzo, F.;
Yoshimizu, A.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
|
Book
EID:
2-s2.0-85064905828
Contributors:
Dal Lago, U.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
Electronic Notes in Theoretical Computer Science
2019
|
Journal article
EID:
2-s2.0-85081789954
Contributors:
Lago, U.D.;
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
Proceedings - Symposium on Logic in Computer Science
2018
|
Conference paper
EID:
2-s2.0-85051101223
Contributors:
Gavazzo, F.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
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:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)
arXiv
2017
|
Other
EID:
2-s2.0-85092806184
Contributors:
Lago, U.D.;
Gavazzo, F.;
Levy, P.B.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
CEUR Workshop Proceedings
2017
|
Conference paper
EID:
2-s2.0-85031894223
Contributors:
Lago, U.D.;
Gavazzo, F.;
Tanaka, R.
Source:
FRANCESCO GAVAZZO
via
Scopus - Elsevier
grade
Preferred source
(of
2)