• Born on June 30, 1988
  • C. Sc. (≈ Ph. D.) in Physics and Mathematics since 2012, Lomonosov Moscow State University
  • Senior scientific researcher at Steklov Mathematical Institute, Russian Academy of Sciences
  • Research supported by: RSF · RFBR · RYM · the never-ending curiosity
  • Teaching at: Lomonosov Moscow State University (Mathematical Logic) · Higher School of Economics (Computer Science)

International Teaching

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


Primary research interest: substructural logic with application to linguistics.

Recent and forthcoming talks:

Selected papers:

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

Текущие · Current


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


My page on lpcs.math.msu.su is out-of-date.