Дмитрий Жук стал обладателем премии Presburger Award. Она присуждается Европейской ассоциацией теоретической информатики (EATCS) с года....