Neil Thapen

Institute of Mathematics, AS CR
Žitná 25, 115 67 Praha 1
Czech Republic

I am a researcher at the Institute of Mathematics of the Academy of Sciences of the Czech Republic. My research is mostly in logic, in particular proof complexity and weak arithmetic.

I organize the institute's logic seminar.

Published papers/preprints

The versions downloadable here may differ from the published versions.

Other things

6/11/13 Neil Thapen