
Neil Thapen
Researcher, Czech Academy of Sciences
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.
Program Visits
Visiting Scientist
Visiting Scientist