Она вручается молодым ученым за выдающиеся достижения в области теоретических компьютерных наук.
Дмитрий Жук окончил Вологодский многопрофильный лицей. Сейчас он кандидат физико-математических наук, преподает на кафедре Математической теории интеллектуальных систем и лабораторий в МГУ.
В этом году Дмитрий стал обладателем премии Presburger Award. Она учреждена в 2010 году и присуждается ежегодно Европейской ассоциацией теоретической информатики (EATCS) за выдающиеся достижения в области теоретических компьютерных наук.
«Премия присуждена за доказательство CSP Dichotomy Conjecture — «описана сложность задачи удовлетворения ограничениям для любого языка ограничений на конечном множестве», — сообщает «ВМЛ».
Награду Дмитрий получит на международной конференции ICALP 2020 в Саарбрюккене (Германия). Он также сможет прочитать на конференции открытую лекцию.