Presburger Award


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 series of published papers." The award is named after Mojżesz Presburger, who accomplished his path-breaking work on decidability of the theory of addition as a student in 1929.
Past recipients of the award are: