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 logic.at/emcl2016)Currently I am a PhD student at INRIA Saclay and École Polytechnique in the PARSIFAL team. My new home page is http://www.lix.polytechnique.fr/Labo/Matteo.Manighetti/
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