LIX - Ecole PolytechniqueMatteo Manighetti

About me

I am a PhD student at LIX, funded by INRIA Saclay. My advisor is Dale Miller.

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

News Archive

Equipe Parsifal
Laboratoire d'Informatique (LIX)
École Polytechnique
91128 Palaiseau Cedex - France
Email : (First letter of my name)(first 7 letters of my surname) @

Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.