| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 19 Nov 2025 15:19:39 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"691de00b-7674"
expires: Sun, 18 Jan 2026 11:11:54 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: BB6C:370DC9:1D4405:229165:696CBDA1
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 11:01:54 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210036-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768734114.385782,VS0,VE227
vary: Accept-Encoding
x-fastly-request-id: 277211ce417d1b6b8d82302ba1dc1a4384d84f6f
content-length: 6510
Davide Trotta 
Davide Trotta
Assistant professor (RTDA)
Research interests
I am a mathematician, and my research focuses on categorical logic and its applications in theoretical computer science. Primarily, I approach both topics using the perspective and method “à la Lawvere,” through variants of the notion of hyperdoctrine.
Affiliation:
Department of Mathematics “Tullio Levi-Civita”
University of Padova
Email: trottadavide92@gmail.com
Publications
Here you can find the list of my publications and accepted papers
Fabio Gadducci, Andrea Laretto, Davide Trotta
(2025).
Counterpart-based Quantified Temporal Logics.
In Journal of Logical and Algebraic Methods in Programming.
Davide Trotta, Manlio Valenti, Valeria De Paiva
(2025).
Categorifying computable reducibilities.
In Logical Methods in Computer Science.
Filippo Bonchi, Alessandro Di Giorgio, Davide Trotta
(2024).
When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.
In 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024).
Maria Emilia Maietti, Davide Trotta
(2024).
Quotients, pure existential completions and arithmetic universes .
In Theory and Applications of Categories.
Samuele Maschio, Davide Trotta
(2024).
On categorical structures arising from implicative algebras: from topology to assemblies.
In Annals of Pure and Applied Logic.
Fabio Gadducci, Davide Trotta
(2023).
A Presheaf Semantics for Quantified Temporal Logics.
In Recent Trends in Algebraic Development Techniques (WADT2022).
Tobias Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini
(2023).
From gs-monoidal to oplax cartesian categories: constructions and functorial completeness.
In Applied Categorical Structures.
Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta
(2023).
Weakly Markov Categories and Weakly Affine Monads.
In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023).
Fabio Gadducci, Andrea Laretto, Davide Trotta
(2023).
Specification and verification of a linear-time temporal logic for graph transformations.
In Graph Transformation, 16th International Conference (ICGT 2023).
Davide Trotta, Matteo Spadetto, Valeria De Paiva
(2023).
Dialectica Principles via Gödel Doctrines.
In Theoretical Computer Science.
Maria Emilia Maietti, Davide Trotta
(2023).
A characterization of generalized existential completions.
In Annals of Pure and Applied Logic.
Davide Trotta, Matteo Spadetto, Valeria De Paiva
(2022).
Dialectica logical principles.
In Logical Foundations Of Computer Science (LFCS 2022).
Davide Trotta, Matteo Spadetto, Valeria De Paiva
(2022).
Dialectica logical principles: not only rules.
In Journal of Logic and Computation.
Davide Trotta, Matteo Spadetto, Valeria De Paiva
(2021).
The Gödel fibration.
In 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021).
Preprints
Cipriano Junior Cioffo, Fabio Gadducci, Davide Trotta
(2025).
A taxonomy of categories for relations.
Davide Trotta, Jonathan Weinberger, Valeria De Paiva
(2024).
Skolem, Gödel and Hilbert fibrations.
Selected Talks
Below you can find some slides and videos of some recent talks.
Sheafification as a geometric tripos-to-topos adjunction
Jun 4, 2023 12:00 AM
UCLouvain
Abstracting sheafification-like adjunctions via the tripos-to-topos construction
May 29, 2023 12:00 AM
University of Padova
Gödel doctrines and Dialectica logical principles
Oct 28, 2021 12:00 AM
University of Ottawa
Generalized existential completions, regular and exact completions
Sep 3, 2021 12:00 AM
University of Genova