
Neil Thapen
Researcher, Czech Academy of Sciences
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12 – May 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
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist and Workshop Organizer.