Premio Presburger

El Premio Presburger , creado en 2010, es otorgado anualmente por la Asociación Europea de Ciencias de la Computación Teórica (EATCS) a "un joven científico por sus destacadas contribuciones en ciencias de la computación teórica, documentadas mediante un artículo publicado o una serie de artículos publicados". El premio lleva el nombre de Mojżesz Presburger , quien , siendo estudiante en 1929, realizó su trabajo pionero sobre la decidibilidad de la teoría de la suma (conocida hoy como aritmética de Presburger ).

Los galardonados en ediciones anteriores son:

• Mikołaj Bojańczyk (2010) ^{[ 1 ]}
• Patricia Bouyer-Decitré (2011) ^{[ 1 ]}
• Venkatesan Guruswami y Mihai Pătraşcu (2012) ^{[ 2 ]}
• Erik Demaine (2013) ^{[ 3 ]}
• David Woodruff (2014) ^{[ 4 ]}
• Xi Chen (2015)
• Mark Braverman (2016)
• Alexandra Silva (2017)
• Aleksander Mądry (2018)
• Karl Bringmann y Kasper Green Larsen (2019) ^{[ 5 ]}
• Dmitriy Zhuk (2020) ^{[ 6 ]}
• Shayan Oveis Gharan (2021) ^{[ 7 ]}
• Dor Minzer (2022) ^{[ 8 ]}
• Aaron Bernstein y Thatchaphol Saranurak (2023) ^{[ 9 ]}

• Justin Hsu y Pravesh Kothari (2024) ^{[ 10 ]}

• Tomasz Kociumaka y Sepehr Assadi (2025) ^{[ 11 ]}

• Vincent Cohen-Addad y Gautam Kamath (2026) ^{[ 12 ]}

• Lista de premios de informática