Research
Groups
Researchers
Publications
Alexander Kuklev
Research Groups
HoTT and Dependent Types Group
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