Matteo Manighetti

About me

I am a post doctoral researcher at the University of Bologna, working with Claudio Sacerdoti Coen. I am also a concluding PhD student at LIX. 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