Neil Thapen is a Researcher at the Institute of Mathematics of the Czech Academy of Sciences. His research is mostly in logic, in particular proof complexity and weak arithmetic.