Matteo Manighetti

I completed my studies in 2016 in the European Master's in Computational logic (during the period I did many nice things, for example I helped organizing

Currently I am a PhD student at INRIA Saclay and École Polytechnique in the PARSIFAL team. My new home page is

Formerly I have been a Project Assistant at the Institute of Discrete Mathematics and Geometry of the TU Wien.

My research interests are in these areas: Proof Theory of Arithmetic, Curry-Howard correspondence, (Semi)Constructive Mathematics, Intuitionism, Type Theory.

My Master Thesis: Computational Interpretations of Markov's Principle, 2016 (arXiv,TU Wien Bibliothek)

You can contact me at mmanighe [at] lix [dot] polytechnique [dot] fr