Учебные курсы

Формальные методы в лингвистике (с 2001)
Моделирование языка и математические методы обработки лингвистических данных (1999–2004)
Математические модели языка (с 2007)
Формальная семантика (с 2003)
Логическая семантика (с 2005)
Уровни лингвистического анализа: Семиотика предложения (с 2006)
Компьютерный анализ естественно-языкового текста (2005–2006)
Семантическое описание естественных языков: Направление подготовки магистров (с 2005)
Структурная и математическая лингвистика: Семинар (2004-2005)
Введение в языкознание: Семинар (с 1995)
Русский язык (1998–2007)
Английский язык (1995–2000)