Общество

Череповчанин получил престижную премию за CSP Dichotomy Conjecture

Молодой ученый смог достигнуть значительных успехов в области теоретических компьютерных наук
-

-

Уроженец Череповца, выпускник Вологодского многопрофильного лицея (2001 г), а ныне кандидат физ-мат наук и старший научный сотрудник кафедры математической теории интеллектуальных систем МГУ Дмитрий Жук получил престижную международную премию Presburger Award.

Премия присуждается с 2010 года Европейской ассоциацией теоретической информатики (EATCS) молодым ученым за выдающиеся достижения в области теоретических компьютерных наук.

Дмитрий смог доказать CSP Dichotomy Conjecture — «описана сложность задачи удовлетворения ограничениям для любого языка ограничений на конечном множестве». Награду ученый получит на международной конференции ICALP 2020 в Саарбрюккене (Германия), где сможет прочитать открытую лекцию.