Теоретическая информатика

Теоретическая информатика

Куратор направления

Научный руководитель

Направление готовит специалистов в области современной теоретической информатики. Во время обучения студенты знакомятся с разнообразными дисциплинами от фундаментальных теоретических основ до более прикладных научных областей. Программа обучения включает базовые и углубленные курсы по алгоритмам, теории сложности вычислений, криптографии, дискретной математике, математической логике, машинному обучению и многочисленным более специализированным предметам, отражающим современные направления в информатике. Большинство читаемых курсов дополняется практическими занятиями, на которых студенты решают интересные и нетривиальные задачи, помогающие ориентироваться в материале на уровне, достаточном для проведения самостоятельных исследований. Программа рассчитана на выпуск будущих исследователей, которые продолжат обучение в магистратуре российских и зарубежных ВУЗов. 

Обучение ведется при непосредственном участии сотрудников лабораторий математической логики и алгоритмических методов ПОМИ РАН.  

Ицыксон Д.М.

Гирш Э.А.

 

Направления исследований:

 

Информация о курсах появится в ближайшее время.