Весенний семестр 2010
- Highway Dimension and Provably Efficient Shortest Path Algorithms (1 пара)
- Десятая проблема Гильберта. Решение и применения в информатике (10 пар)
- Виртуализация и виртуальные машины (12 пар)
- Введение в биоинформатику (10 пар)
- Тестирование на основе моделей (3 пары)
- Алгоритмы на графах и обработка изображений (3 пары)
- Дополнительные главы теории паросочетаний (5 пар)
- Современные методы автоматической формальной верификации аппаратного обеспечения (2 пары)
- Software Verification (3 пары)
- From Object Replication to Database Replication (3 пары)
- Distributed Information Retrieval (3 пары)
- Ubiquitous Computing — Vision, Technology, and Implications (3 пары)
Осенний семестр 2009
- Алгоритмы для NP–трудных задач
- Математические основы Computer Science
- Криптографические протоколы
- Формальные языки и синтаксический анализ
Весенний семестр 2009
- Вычислительно трудные задачи и дерандомизация
- Параллельное программирование
- Коммуникационная сложность
- Экспандеры
- Computer Science семинар
Осенний семестр 2008
- Алгоритмическая теория информации
- Структурная теория сложности
- Теория экономических механизмов
- Web Research
- Алгоритм Тарского
- Ликбез
Весенний семестр 2008
- Эффективные алгоритмы II
- Сложностная криптография
- Самообучающиеся системы
- Distributed Algorithms
- Networking
- Software Testing
- Software Verification
- Web Research
- Криптографические хэш–функции
- Graph Algorithms
Осенний семестр 2007

