Presburger Award: Difference between revisions

Content deleted Content added

Inline

Latest revision as of 15:45, 13 October 2024

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:

Mikołaj Bojańczyk (2010)^[1]
Patricia Bouyer-Decitre (2011)^[1]
Venkatesan Guruswami and 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 [fr] (2018)
Karl Bringmann and Kasper Green Larsen (2019)^[5]
Dmitriy Zhuk (2020)^[6]
Shayan Oveis Gharan (2021)^[7]
Dor Minzer (2022)^[8]
Aaron Bernstein and Thatchaphol Saranurak (2023)^[9]

Justin Hsu and Pravesh Kothari (2024)^[10]

References

^ ^a ^b "Presburger Award, EATCS". Retrieved 2012-04-23.
^ "Presburger Award 2012, EATCS". Retrieved 2012-04-23.
^ "Presburger Award 2013, EATCS". Retrieved 2013-02-15.
^ "Presburger Award 2014, EATCS". Retrieved 2014-03-08.
^ "Presburger Award 2019 Laudatio, EATCS".
^ "The EATCS bestows the Presburger Award 2020 on Dmitriy Zhuk". European Association for Theoretical Computer Science. Retrieved 2020-06-26.
^ "Presburger Award 2021 – Laudatio for Shayan Oveis Gharan". European Association for Theoretical Computer Science. Retrieved 2021-05-18.
^ "Presburger Award 2022 – Laudatio for Dor Minzer". European Association for Theoretical Computer Science. Retrieved 2022-07-14.
^ "Presburger Award 2023". eatcs.org. European Association for Theoretical Computer Science. Retrieved 2024-07-01.
^ "Presburger Award 2024 – Laudatio". eatcs.org. European Association for Theoretical Computer Science. Retrieved 2024-07-01.

This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it.

[eatcs-1] "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.

[9] "Presburger Award 2023". eatcs.org. European Association for Theoretical Computer Science. Retrieved 2024-07-01.

[10] "Presburger Award 2024 – Laudatio". eatcs.org. European Association for Theoretical Computer Science. Retrieved 2024-07-01.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

@@ Line 1: / Line 1: @@
+{{Short description|Annual award in theoretical computer science}}
-The '''Presburger Award''', started in 2010, is awarded each year by the [[European Association for Theoretical Computer Science]] (EATCS) to &quot;''a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers''&quot;. The award is named after [[Mojzesz 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
+{{Primary sources|date=August 2020}}
+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 (logic)|decidability]] of the theory of addition (which today is called [[Presburger arithmetic]]) as a student in 1929.
 Past recipients of the award are:
-* Mikołaj Bojańczyk (2010)<ref name="eatcs">[http://eatcs.org/index.php/presburger Presburger Award], EATCS, retrieved 2012-04-23.</ref>
+* [[Mikołaj Bojańczyk]] (2010)<ref name="eatcs">{{cite web| url=http://eatcs.org/index.php/presburger| title=Presburger Award, EATCS| accessdate=2012-04-23}}</ref>
-* Patricia Bouyer-Decitre (2011)<ref name="eatcs"/>
+* [[Patricia Bouyer-Decitre]] (2011)<ref name="eatcs"/>
-* [[Venkatesan Guruswami]] and Mihai Pătraşcu (2012)<ref>[http://eatcs.org/index.php/component/content/article/1-news/1243-presburger-award-2012 Presburger Award 2012], EATCS, retrieved 2012-04-23.</ref>
+* [[Venkatesan Guruswami]] and [[Mihai Pătrașcu (computer scientist)|Mihai Pătraşcu]] (2012)<ref>{{cite web| url=http://eatcs.org/index.php/component/content/article/1-news/1243-presburger-award-2012| title=Presburger Award 2012, EATCS| accessdate=2012-04-23}}</ref>
+* [[Erik Demaine]] (2013)<ref>{{cite web| url=http://www.eatcs.org/index.php/component/content/article/1-news/1512-presburger-award-2013 | title=Presburger Award 2013, EATCS |accessdate=2013-02-15}}</ref>
+* [[David P. Woodruff (computer scientist)|David Woodruff]] (2014)<ref>{{cite web| url=http://www.eatcs.org/index.php/component/content/article/1-news/1866-presburger-award-2014 | title=Presburger Award 2014, EATCS |accessdate=2014-03-08}}</ref>
+* [[Xi Chen]] (2015)
+* [[Mark Braverman (mathematician)|Mark Braverman]] (2016)
+* [[Alexandra Silva]] (2017)
+* {{illm|Aleksander Mądry|fr|Aleksander Mądry}} (2018)
+* [[Karl Bringmann]] and [[Kasper Green Larsen]] (2019)<ref>{{cite web | url=http://eatcs.org/index.php/component/content/article/1-news/2801-presburger-award-2019-laudatio-for-karl-bringmann-and-kasper-green-larsen | title=Presburger Award 2019 Laudatio, EATCS}}</ref>
+* [[Dmitriy Zhuk]] (2020)<ref>{{cite web|url=http://eatcs.org/index.php/component/content/article/1-news/2849-the-eatcs-bestows-the-presburger-award-2020|title=The EATCS bestows the Presburger Award 2020 on Dmitriy Zhuk|publisher=European Association for Theoretical Computer Science|accessdate=2020-06-26}}</ref>
+* [[Shayan Oveis Gharan]] (2021)<ref>{{cite web |url=https://eatcs.org/index.php/component/content/article/1-news/2886-presburger-award-2021-laudatio-for-shayan-oveis-gharan|title=Presburger Award 2021 – Laudatio for Shayan Oveis Gharan|publisher=European Association for Theoretical Computer Science|accessdate=2021-05-18
+ }}</ref>
+* [[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>
+* Aaron Bernstein and Thatchaphol Saranurak (2023)<ref>{{cite web |title=Presburger Award 2023 |url=https://www.eatcs.org/index.php/component/content/article/1-news/2946-2023-05-31-15-12-13 |accessdate=2024-07-01 |website=eatcs.org |publisher=European Association for Theoretical Computer Science}}</ref>
+* [[Justin Hsu]] and [[Pravesh Kothari]] (2024)<ref>{{cite web |title=Presburger Award 2024 – Laudatio |url=https://eatcs.org/index.php/component/content/article/1-news/2983-presburger-award-2024-laudatio |accessdate=2024-07-01 |website=eatcs.org |publisher=European Association for Theoretical Computer Science}}</ref>
+== See also ==
+* [[List of computer science awards]]
 ==References==
 {{reflist}}
+{{Presburger winners}}
+{{DEFAULTSORT:Presburger Award}}
 [[Category:Computer science awards]]
+{{Compu-bio-stub}}