Sergei Tupailo
senior research associate, Institute
of Cybernetics at TTU, Tallinn,
Estonia
Spring
Lectures in Mathematical Logic
PhD, 1998, Stanford
University, USA
Logic at
Stanford
Further appointments:
Sergei Tupailo
senior research associate, Institute
of Cybernetics at TTU, Tallinn,
Estonia
Spring
Lectures in Mathematical Logic
PhD, 1998, Stanford
University, USA
Logic at
Stanford
Further appointments:
Institute for Informatics and Applied Mathematics, University of Bern, Switzerland, 1998-2000
Proof Theory (Spring 2003)Department of Pure Mathematics, University of Leeds, England, 2001-2004
Department of Mathematics, The Ohio State University, USA, 10.2004-03.2005
Research interests: Mathematical Logic
and Foundations of Mathematics,
in particular: proof theory, set theory,
constructivism, explicit mathematics,
Hilbert's epsilon substitution method,
ordinal analysis
For list of my main publications click here
For my photo album click here