Presburger-prisen

Den Presburger Prisen er en utmerkelse som har blitt delt ut hvert år siden 2010, av European Association for teoretisk informatikk (EATCS). Det blir tildelt en ung forsker som har gitt fremragende bidrag til feltet teoretisk informatikk . Prisen er oppkalt etter den polske matematikeren Mojżesz Presburger . Den blir presentert for vinneren under ICALP- konferansen .

Beskrivelse

Siden 2010 har EATCS tildelt hvert år på ICALP- konferansen en Presburger-pris til en ung forsker (sjelden til flere unge forskere) for et eksepsjonelt bidrag innen teoretisk informatikk, bekreftet av en artikkel eller en serie publiserte artikler. Prisen er oppkalt etter Mojżesz Presburger som gjorde sitt banebrytende arbeid med avgjørbarheten til tilleggsteorien (nå kalt Presburger aritmetic ) i 1929, mens han fortsatt var student.

Prisvinnere

• 2010: Mikołaj Bojańczyk
• 2011: Patricia Bouyer-Decitre
• 2012: Venkatesan Guruswami og Mihai Pătrașcu
• 2013: Erik Demaine
• 2014: David P. Woodruff
• 2015: Xi Chen
• 2016: Mark Braverman
• 2017: Alexandra Silva , for sitt arbeid med kullgraver som verktøy for å forstå blant annet operasjoner på endelige automater .
• 2018: Aleksander Madry , for sitt arbeid med maksimalt flytproblem .
• 2019: Karl Bringmann og Kasper Green Larsen for lavere grenser.
• 2020: Dmitriy Zhuk

Merknader og referanser

• Denne artikkelen er delvis eller helt hentet fra artikkelen "  European Association for Theoretical Computer Science  " (se forfatterliste ) .

1. “  Presburger Award  ” , på EATCS .
2. Efi Chita, “  The EATCS tildeler Presburger Award 2016 til Mark Braverman (Princeton University),  ” på eatcs.org (åpnet 25. mars 2016 ) .
3. "  EATCS tildeler Presburger Award 2017 til Alexandra Silva (University College London)  " , på eatcs.org (åpnet 29. mai 2017 ) .
4. "  Laudatio 2017  " .

Ekstern lenke

• "  Presburger Award  " , på EATCS