Jump to content

Presburger Award: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Changing short description from "scientific award" to "Annual award in theoretical computer science"
+2023
Line 22: Line 22:
* [[Dor Minzer]] (2022)<ref>{{cite web |url=https://eatcs.org/index.php/component/content/article/1-news/2914-presburger-award-2022-laudatio-for-dor-minzer|title=Presburger Award 2022 – Laudatio for Dor Minzer|publisher=European Association for Theoretical Computer Science|accessdate=2022-07-14
* [[Dor Minzer]] (2022)<ref>{{cite web |url=https://eatcs.org/index.php/component/content/article/1-news/2914-presburger-award-2022-laudatio-for-dor-minzer|title=Presburger Award 2022 – Laudatio for Dor Minzer|publisher=European Association for Theoretical Computer Science|accessdate=2022-07-14
}}</ref>
}}</ref>
* Aaron Bernstein and Thatchaphol Saranurak (2023)


== See also ==
== See also ==

Revision as of 19:57, 1 June 2023

The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) 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 (which today is called Presburger arithmetic) as a student in 1929.


Past recipients of the award are:

See also

References

  1. ^ a b "Presburger Award, EATCS". Retrieved 2012-04-23.
  2. ^ "Presburger Award 2012, EATCS". Retrieved 2012-04-23.
  3. ^ "Presburger Award 2013, EATCS". Retrieved 2013-02-15.
  4. ^ "Presburger Award 2014, EATCS". Retrieved 2014-03-08.
  5. ^ "Presburger Award 2019 Laudatio, EATCS".
  6. ^ "The EATCS bestows the Presburger Award 2020 on Dmitriy Zhuk". European Association for Theoretical Computer Science. Retrieved 2020-06-26.
  7. ^ "Presburger Award 2021 – Laudatio for Shayan Oveis Gharan". European Association for Theoretical Computer Science. Retrieved 2021-05-18.
  8. ^ "Presburger Award 2022 – Laudatio for Dor Minzer". European Association for Theoretical Computer Science. Retrieved 2022-07-14.