دانشگاه دولتی سن پترزبورگ

تربیت نیروی انسانی علمی و پژوهشی عالی در زمینه مبانی ریاضی الگوریتم ها، هندسه جبری، نظریه جبری های لی، نظریه نمایش ها، جبری همولوژیک و نظریه K، نظریه مقولات و فونکتورها، نظریه جبری و تحلیلی اعداد، نظریه محاسبه پذیری، توابع بازگشتی، مبانی منطقی حساب، تحلیل محاسبه پذیر، نظریه اطلاعات، پیچیدگی محاسبات، خودکارهای محدود، سایر مدل های محاسباتی انتزاعی، ریاضیات گسسته و ترکیبی.