Jump to content

Presburger Award: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Personal life: Added a link to Mikołaj Bojańczyk, intending to write an article about him
added winners 2015-17
Line 7: Line 7:
* [[Venkatesan Guruswami]] and [[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>
* [[Venkatesan Guruswami]] and [[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>
* [[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 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>
* [[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]] (2016)
* [[Alexandra Silva]] (2017)



==References==
==References==

Revision as of 16:35, 27 March 2017

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:


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.