**Sergei Tupailo**

**senior researcher, Institute
of Cybernetics at TUT, Tallinn,
Estonia**

PhD, 1998, Stanford
University, USA

Logic at
Stanford

**Further appointments:**

- Institute for Informatics and Applied Mathematics, University of Bern, Switzerland, 1998-2000

Department of Pure Mathematics, University of Leeds, England, 2001-2004

Department of Mathematics, The Ohio State University, USA, 10.2004-03.2005

Department of Philosophy, Stanford University, USA, 09.2007-06.2008

Research interests: Mathematical Logic and Foundations of Mathematics,

NF in the Bay Area, Stanford, CA, USA, June 25-27, 2008