Davide Trotta
Postdoc
University of Pisa
Research interests and Education
I am a mathematician, and my research is mainly focused on categorical logic and its applications in theoretical computer science.
Interests
- Categorical Logic
- 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
Here you can find the list of my publications and accepted papers
(2024).
On categorical structures arising from implicative algebras: from topology to assemblies.
In Annals of Pure and Applied Logic.
(2023).
A Presheaf Semanticsfor Quantified Temporal Logics .
In Recent Trends in Algebraic Development Techniques (WADT2022).
(2023).
From gs-monoidal to oplax cartesian categories: constructions and functorial completeness.
In Applied Categorical Structures.
(2023).
Weakly Markov Categories and Weakly Affine Monads.
In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023).
(2023).
Specification and verification of a linear-time temporal logic for graph transformations.
In Graph Transformation, 16th International Conference (ICGT 2023).
(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.
Selected Talks
Below you can find some slides and videos of some recent talks.