From January 2025 I will be an Assistant Professor in the Logic Group at the Department of Philosophy, Linguistics and Theory of Science of the University of Gothenburg. Our research group runs the Master in Logic.

My research interests are in mathematical logic, topology, denotational semantics and their interaction with category theory.

Keywords: doctrines, topoi, sketches, accessible and locally presentable categories, syntax-semantics dualities, categorical semantics of type theory, 2-topoi, Yoneda structures, lax-idempotent monads, Kan injectivity, categorical approaches to geometry and topology.

You can catch me teaching in our Master in Logic one of the courses below.

• Set Theory

• Model Theory

• Category Theory

• Functorial Semantics

• Introduction to Topos Theory

• Semantics of Dependent Type Theory

By background I am a pure mathematician. Educated in Pisa (11/16). PhD in Brno (17/20) under the guidance of Jiří Rosický. Postodctoral positions held in Prague (20/21), Stockholm (22/23) and Gothenburg (23/24).

I microblog on about academic life. Check out my publications, or my supervision.

― ―

They sought it with thimbles, they sought it with care;
They pursued it with forks and hope;
They threatened its life with a railway-share;
They charmed it with smiles and soap.