| 10 семестр
| История развития вычислительных технологий в СССР, России | Современные проблемы прикладной математики
|
| 9 семестр
| Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
|
| 8 семестр
| Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
|
| 7 семестр
| Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
|
| 6 семестр
| Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
|
| 5 семестр
| Базы Данных | Языки Программирования | Экономические Науки
|
| 3 семестр
| Операционные системы
|
|
| Спецкурсы
|
| Осень 2013
| Современная криптография | Дизайн и реализация ОС FreeBSD
|
| Весна 2011
| Практические аспекты сетевой безопасности | Сетевое администрирование в UNIX
|
| Осень 2010
| UNИX | Теория функционального программирования. Язык Haskell | Введение в информационную безопасность | Информационный поиск
|
| Весна 2010
| UNИX | Архитектура и программирование массивно-параллельных вычислительных систем | Язык Ада
|
| Осень 2009
| UNИX | Введение в парадигмы программирования
|
| Весна 2009
| UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
|
| Осень 2008
| UNИX | Структурные методы обработки изображений и сигналов
|
| Весна 2008
| UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
|
| Осень 2007
| UNИX
|
| Весна 2007
| UNИX | Практика мультипарадигмального программирования
|
| Осень 2006
| Введение в теорию построения оптимизирующих компиляторов
|
|
| Отдельные лекции
| Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim | Erinn Clark, The Tor Project: Anonymity Online
|
