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

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

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

Основания математики Теория моделей Исчисления построений Унивалентная теория типов и её модальные расширения

Квантовая теория поля Некоммутативная геометрия Поле с одним элементом Линейная логика Линейная теория типов