International Teaching


Ensom vandrer
(personal blog; mostly in Russian, with fragments in other languages)

Research


Primary research interest: substructural logic with application to linguistics.

Recent and forthcoming talks:

Selected papers:

Materials presented here are addressed to my students in Moscow and therefore exist only in Russian.

Учебные курсы в Москве


Курсы весеннего полугодия (2018):

  • Функциональное программирование (факультет компьютерных наук НИУ ВШЭ)
    4-й курс бакалавриата, «Прикладная математика и информатика»
  • Межфакультетский курс «Категориальные грамматики» (МГУ)
    Лекторы: к. ф.-м. н. С. Л. Кузнецов, проф. М. Р. Пентус, к. ф.-м. н. А. А. Сорокин
    Время и место: среда 17:00 — 18:30. МГУ, Главное здание, ауд. 16-04.
    Первая лекция: 14 февраля.
  • Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
    Материалы: Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
    Время и место: четверг 15:00 — 16:35. МГУ, Главное здание, ауд. 12-07.
    В 2018 г. лекции начнутся 22 февраля.

Курсы осеннего полугодия:


Кружки:

  • Просеминар по математической логике и информатике
    Руководители: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. Ф. Н. Пахомов, академик РАН А. Л. Семёнов, к. ф.-м. н. С. Л. Кузнецов
    Время и место: пятница 16:45 — 18:20. МГУ, Главное здание, ауд. 16-22.
    Занятия возобновятся в феврале 2018 года.
  • Малый мехмат
    Математические кружки при механико-математическом факультете МГУ.

My pages on www.mi.ras.ru and lpcs.math.msu.su are identical.