Это традиционная образовательная программа, развиваемая с 1991 г.

В программе уделено большое внимание дисциплинам обширного математического цикла (например, курс математического анализа читается в течение четырех семестров), а также фундаментальным компьютерным дисциплинам – дискретной математике, алгоритмам и структурам данных, математической логике, теории типов, теории сложности, теории чисел, теории информации и кодирования и др.

Большое внимание уделяется дисциплинам ИИ и, в частности, применению ИИ при разработке программного обеспечения, обеспечивая готовность факультета ответить на вызовы
в системе подготовки высококвалифицированных программистских кадров, вызванных появлением систем искусственного интеллекта.

Развита подготовка к предпринимательской деятельности, организации стартапов и проведению научных исследований

Выпускники программы могут работать разработчиками, аналитиками и исследователями в области компьютерных наук, а также заниматься предпринимательством.