Il Premio Presburger è un riconoscimento istituito nel 2010 che ogni anno viene conferito dalla European Association for Theoretical Computer Science a "un giovane scienziato per contributi eccezionali in informatica teorica, documentato da un articolo pubblicato o da una serie di articoli pubblicati". Wikipedia