Neil Thapen

Researcher, Czech Academy of Sciences

Visiting Scientist and Workshop Organizer

Program: Satisfiability: Theory, Practice, and Beyond

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.