Александр Куклев

Биография

  • Гёттингенский университет им. Георга-Августа (2005 – 2012)
  • Ганноверская гимназия им. Лейбница (2005 – 2005)
  • Омская физико-математическая школа №64 (1998 – 2001)

Научные интересы:

  • Основания математики
  • Теория моделей
  • Исчисления построений
  • Унивалентная теория типов
    и её модальные расширения
  • Квантовая теория поля
  • Некоммутативная геометрия
  • Поле с одним элементом
  • Линейная логика
  • Линейная теория типов
  • Группа HoTT и зависимых типов Исследователь
    • Разработка языков с зависимыми типами
    • формализация зависимых алгебраических и коалгебраических эффектов