Sergei Tupailo
 

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

PhD, 1998, Stanford University, USA
Logic at Stanford

Further appointments:

Proof Theory on the eve of Year 2000 - Survey of proof theorists on the present and future of their discipline
  • Department of Pure Mathematics, University of Leeds, England, 2001-2004
    • Proof Theory  (Spring 2003)
  • Department of Mathematics, The Ohio State University, USA, 10.2004-03.2005

  • Department of Philosophy, Stanford University, USA, 09.2007-06.2008
    • Set Theory (Autumn, Winter 2007-2008)

    Research interests: Mathematical Logic and Foundations of Mathematics    ,
      in particular: proof theory, set theory, constructivism, explicit mathematics, ordinal analysis, Hilbert's epsilon substitution method

    Urbana 2000 picture

    ASL annual meeting, Stanford, CA, USA, March 19-22, 2005

    Logic Colloquium 2005, Athens, Greece, July 28 - August 3, 2005

    "Horizons of Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge". An International Symposium Celebrating the 100th Birthday of Kurt Goedel. Vienna, Austria, April 27-29, 2006

    NF in the Bay Area, Stanford, CA, USA, June 25-27, 2008
    For list of my main publications click here

    For my photo album click here

    Sergei Tupailo / Institute of Cybernetics at TUT, Akadeemia tee 21, 12618 Tallinn, Estonia, sergei@cs.ioc.ee