АТП ФПМИ МФТИ

Автоматическая обработка естественного языка

Интерпретируемые методы классистентификации и порождения знаний

Высоконадёжные вычисления и системы реального времени

Операционные системы.