The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a... Wikipedia