![](/sites/default/files/styles/post_card_lg_2x/public/thapen.jpg?h=a290176b&itok=ZJuz2X9x)
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.