My research is motivated by logic, foundations of mathematics and foundations of geometry. Most of my papers fall under one or more of the research themes below.

In a more technical sense, here is a set of keywords to frame my scientific contributions: (Stone-type) syntax/semantics dualities, doctrines of first order logic, topos theory, sketches, accessible and locally presentable categories, categorical semantics of type theory, Yoneda structure, lax-idempotent (pseudo)monads and Kan injectivity, categorical approaches to geometry and topology.

Since late 2023 I am employed as a Researcher in the Logic Group at the Department of Philosophy, Linguistics and Theory of Science of the University of Gothenburg, where I also teach at the local Master in Logic.

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) and Stockholm (22/23).

I use to share the lastest news on my academic life. Still hunting the Snark.

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.