Профили: MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | eLibrary | ВШЭ | МФК | YouTube
Видеолекции
- λ-исчисление (МИАН / МФТИ, осень 2021 г.)
- Структурная теория доказательств и алгебраическая логика (МИАН / МФТИ, весна 2021 г.)
- Циклические доказательства (МИАН, осень 2020 г., совместно с Д.С. Шамкановым)
- Cпецкурс «Математическая логика», часть 2 (мехмат МГУ): теоремы Гёделя о неполноте (весна 2020 г.); начала теории множеств (весна 2021 г.).
- Вычислительная теория доказательств и лямбда-исчисление (МИАН, 2019-2020 г., совместно с Л.Д. Беклемишевым)