Neil Thapen
Researcher,
Academy of Sciences of the Czech Republic
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.