Кафедра математической теории интеллектуальных систем, доцент, к.ф.-м.н.

Преподаёт на мехмате МГУ, СУНЦ МГУ и в НИУ "Высшая Школа Экономики", читает курсы по теоретической информатике, верификации программ, криптографическим протоколам.

Область научных интересов. Теория автоматов, математическая теория программирования, математическая логика, информационная безопасность.

Читает спецкурсы "Математическая теория программирования", "Вычислительная логика" и "Математические основы информационной безопасности", ведёт семинары по верификации программ.