About
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