Davide Trotta
Postdoc
University of Pisa
Research interests
I am a mathematician, and my research is mainly focused on categorical logic and its applications in theoretical computer science.
Currently, I am a postdoc at the Department of Computer Science of the University of Pisa in Italy. Previously, I was a postdoc at the Department of Computer Science of the University of Verona in Italy.
Interests
- Categorical Logic
- Theoretical Computer Science
Education
PhD in Mathematics, 2019
University of Trento
M.Sc in Mathematics, 2016
University of Trento
B.Sc in Mathematics, 2014
University of Modena
Publications
(2023).
Dialectica Principles via Gödel Doctrines.
In Theoretical Computer Science.
(2023).
A characterization of generalized existential completions.
In Annals of Pure and Applied Logic.
(2022).
Dialectica logical principles.
In Logical Foundations Of Computer Science (LFCS 2022).
(2022).
Dialectica logical principles: not only rules.
In Journal of Logic and Computation.
(2021).
The Gödel fibration.
In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021).
(2020).
The existential completion.
In Theory and Applications of Categories.
Preprints
Selected Talks
Below you can find some slides and videos of recent talks. For a complete list of talks see my curriculum.