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.

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.

• categorical logic and category theory.

• deductive systems and categorical proof theory.

• formal model theory.

• formal category theory.

• foundations of geometry.

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.

In red I try to understand what a logic (as opposed to a theory in a logic) is.

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.