Matteo Manighetti


About me

I am a Research Engineer (French: Ingénieur de Recherche) at Inria Saclay, in the Toccata team. You can contact me at name.surname at inria.fr.

My interests are (in a somehow decreasing order of generality): proof theory, proof checking and proof assistants, intuitionism, proof-theoretic semantics, semi-classical logics, focusing, admissible rules of proof systems, effects in functional languages.

Previously, I was a research assistant at the University of Bologna, working with Claudio Sacerdoti Coen. I obtained my PhD in Computer Science in 2023 from the Institut Polytechnique de Paris, where my advisor has been Dale Miller.

Drafts and preprints
Papers
Talks
News Archive

Me on Mastodon