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

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

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