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:

  • The logic of action lattices is undecidable. LICS 2019 (Vancouver, B.C., June 24–27)
  • The complexity of multiplicative-additive Lambek calculus: 25 years later (with M. Kanovich and A. Scedrov). WoLLIC 2019 (Utrecht, July 2–5).
  • L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit (with M. Kanovich and A. Scedrov). WoLLIC 2019 (Utrecht, July 2–5).

Selected papers:

Учебные курсы в Москве · Teaching in Moscow


Текущие · Current


Материалы

  • Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
    Материалы: Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
    Внимание! Лекции 4 и 11 апреля 2019 г. пройдут в необычное время: 16:45 — 18:20. Сбор у кафедры (комн. 16-05).

Кружки