Alexander Kuklev

Biography

  • Georg-August-Universität Göttingen (2005 – 2012)
  • Leibniz-Gymnasium Hannover (2005 – 2005)
  • STEM-Lyceum №64 in Omsk (1998 – 2001)

Scientific Interests:

  • Foundations of Mathematics
  • Model Theory
  • Construction Calculi
  • Univalent Type Theory
    and its modal extensions
  • Quantum Field Theory
  • Non-commutative geometry
  • Field with one element
  • Linear Logic
  • Linear Dependent Type Theory