Neil Thapen

Researcher, Czech Academy of Sciences
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12May 14, 2021

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