Neil Thapen received his doctorate in 2002 from the University of Oxford, where his supervisor was Alex Wilkie. He works in mathematical logic, in particular on bounded arithmetic and related things in proof complexity, and sometimes on games. He has been a member of the Institute of Mathematics in Prague since 2005.