Lecture courses:

• Доказуемость и формальная арифметика, часть II, базовая кафедра МИАН в МФТИ, осень 2021, совместный с Т.Л. Яворской.
• Логика, майнор, НИУ ВШЭ, факультет математики, осень 2019.
• Теоремы Гёделя о неполноте, НИУ ВШЭ, факультет математики, весна 2016. (Gödel Incompleteness Theorems, NRU Higher School of Economics, Faculty of Mathematics, Spring 2016.
• Обязательный спецкурс по математической логике и теории алгоритмов, МГУ им. М.В. Ломоносова, мех-мат, 2014/15, совместный с Т.Л. Яворской
  (Obligatory course on Mathematical Logic and Theory of Algorithms, M.V. Lomonosov Moscow State University, Faculty of Mathematics and Mechanics, 2014/15, jointly with T. Yavorskaya)
• Логика и алгоритмы, НИУ ВШЭ, факультет математики, осень 2014, совместный с В.Б. Шехтманом
  (Logic and Algoritghms, NRU Higher School of Economics, Faculty of Mathematics, fall 2014)
• Множества и модели, НИУ ВШЭ, факультет математики, весна 2014, совместный с В.Б. Шехтманом
  (Sets and Models, NRU Higher School of Economics, Faculty of Mathematics, spring 2014, jointly with V. Shehtman)
• Модели арифметики, МГУ им. М.В. Ломоносова, мех-мат, 2013/14, совместный с Т.Л. Яворской
  (Models of Arithmetic, M.V. Lomonosov Moscow State University, 2013/14, jointly with T. Yavorskaya)
• Логика и алгоритмы, НИУ ВШЭ, факультет математики, осень 2013
  (Logic and Algoritghms, NRU Higher School of Economics, Faculty of Mathematics, fall 2013)
• Логика и алгоритмы, НИУ ВШЭ, факультет математики, осень 2012
  (Logic and Algoritghms, NRU Higher School of Economics, Faculty of Mathematics, fall 2012)
• Введение в математическую логику, МГУ им. М.В. Ломоносова, мех-мат, весна 2009
  (Introduction to Mathematical Logic, M.V. Lomonosov Moscow State University, spring 2009)
• Ограниченная арифметика, МГУ им. М.В. Ломоносова, мех-мат, 2008/09
  (Bounded arithmetic, M.V. Lomonosov Moscow State University, 2008/09)
• Введение в вычислительную теорию доказательств, МИАН им. В.А. Стеклова, осень 2008
  (Introduction to computational proof theory, Steklov Mathematical Institute, Moscow; fall 2008).
• Логики доказуемости и их приложения, МГУ им. М.В. Ломоносова, мех-мат, 2007/08
  (Provability logics and their applications, M.V. Lomonosov Moscow State University, 2006/07)
• Вычислимость, логика и теоремы Гёделя, Независимый Московский Университет, осень 2007
  (Computability, Logic and Gödel Theorems, Independent Moscow University; fall 2007).
• Введение в неклассические логики, МИАН им. В.А. Стеклова, весна 2007
  (Introduction to nonclassical logics, Steklov Mathematical Institute, Moscow; spring 2007).
• Доказуемо рекурсивные функции, МГУ им. М.В. Ломоносова, мех-мат, 2006/07
  (Provably recursive functions, M.V. Lomonosov Moscow State University, 2006/07)
• Теория доказательств и формальная арифметика
  (Proof theory and formal arithmetic, Steklov Mathematical Institute, Moscow; spring 2006).
• Избранные вопросы теории доказательств: независимые комбинаторные утверждения
  (Selected topics in proof theory: Combinatorial independence results, M.V. Lomonosov Moscow State University, spring 2004)
• Past courses (Utrecht University, the Netherlands)