Umberto Tarantino

I am a third-year PhD student in Theoretical Computer Science at IRIF, under the supervision of Sam van Gool. My main interests are categorical logic and duality theory: a central objective of my research project is to understand ultracategories as semantic duals of first-order theories, with an eye towards possible applications to topos theory and intuitionistic model theory. I am also broadly interested in formal category theory as a structuralist approach to category theory itself.

Before that, I obtained a Master’s degree in Mathematics at the Università degli Studi di Milano Statale, but I spent the second year abroad at the University of Amsterdam with a foot in the MasterMath program and the other in the Master of Logic. My Master’s thesis, written at the ILLC under the supervision of Benno van den Berg, is available here, and it won the 2025 AILA 3+2 Award for the best Master’s thesis in Mathematical Logic.

Publications

Preprints

Teaching

Community and events

Talks