Кафедра математической логики и теории алгоритмов, Кафедра теоретической и прикладной лингвистики, профессор, д.ф.-м.н.

http://tipl.philol.msu.ru/inde...

Научные интересы: компьютерная логика, математическая лингвистика, неклассическая логика, теория доказательств

Преподавание: Теория грамматик (3 курс бакалавриата), Математическая теория грамматик (1 курс магистратуры)