International Teaching


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

Research


Primary research interest: substructural logic with application to linguistics.

Forthcoming talks:

  • Count-invariance including exponentials (with G. Morrill and O. Valentín). MoL 2017 (London, July 13–14)
  • Conjunctive categorial grammars (with A. Okhotin). MoL 2017 (London, July 13–14)
  • The Lambek calculus with iteration: two variants. WoLLIC 2017 (London, July 18–21)

Selected papers:

Materials presented here are addressed to my students in Moscow and therefore exist only in Russian.
Quick link: ESSLLI '15 course on Lambek grammars.

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


  • Семинары по математической логике и теории алгоритмов для 2-го курса мехмата МГУ
    Курс читается осенью. Материалы прошлых лет перемещены в архив.
  • Coq-практикум (компьютерный практикум по автоматизированной проверке доказательств)
    Руководители: к. ф.-м. н. С. Л. Кузнецов, доц. В. Н. Крупский
    Время и место: практикум проводится в осеннем семестре, 1 занятие в 2 недели. МГУ, Главное здание, компьютерный класс 15-04.
  • Спецкурс «Математическая логика» (обязательный курс для студентов кафедры математической логики и теории алгоритмов)
    Материалы: Лекторы: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, доц. Т. Л. Яворская
    Время и место: четверг 16:45 — 18:20. МГУ, Главное здание, ауд. 13-27.
    Лекции в 2016 году закончились. Следующая лекция — 9 февраля 2017 г.
  • Просеминар по математической логике и информатике
    Руководители: член-корр. РАН Л. Д. Беклемишев, к. ф.-м. н. В. В. Подольский, академик РАН А. Л. Семёнов, к. ф.-м. н. С. Л. Кузнецов
    Время и место: пятница 16:45 — 18:20. МГУ, Главное здание, ауд. 16-22.
    Занятия в 2016 году закончились. Следующее занятие — 10 февраля 2017 г.

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