Преподавание
Механико-математический факультет
- Введение в математическую логику и теорию алгоритмов (семинары, 2 курс, осенний семестр)
- Компьютерный практику по автоматизированной проверке доказательств (совместно со С.Л.Кузнецовым):
Страница курса | Учебное пособие по Coq - Вычислимость и неклассические логики (спецсеминар, совместно с В.Е.Плиско)
- Логические проблемы информатики (соруководитель спецсеминара)
Филологический факультет (ОТиПЛ)
- Информатика и основы программирования (1-й курс, весенний семестр, лекции и практические занятия)
- Программирование (2-й курс, годовой курс, практические занятия)