Prêmio Presburger

O Prémio Presburger é um prémio atribuído anualmente, desde 2010, pela European Association for Theoretical Computer Science (EATCS). É concedido a um jovem cientista que fez contribuições notáveis ​​ao campo da ciência da computação teórica . O prêmio leva o nome do matemático polonês Mojżesz Presburger . É apresentado ao vencedor durante a conferência ICALP .

Descrição

Desde 2010, o EATCS concede a cada ano, na conferência ICALP , um Prêmio Presburger a um jovem pesquisador (raramente a vários jovens pesquisadores) por uma contribuição excepcional em ciência da computação teórica, atestada por um artigo ou uma série de artigos publicados. O prêmio leva o nome de Mojżesz Presburger, que fez seu trabalho pioneiro sobre a decidibilidade da teoria da adição (agora chamada de aritmética de Presburger ) em 1929, quando ainda era estudante.

Laureados

Notas e referências

  1. “  Prêmio Presburger  ” , no EATCS .
  2. Efi Chita, “  The EATCS concede o Prêmio Presburger 2016 a Mark Braverman (Princeton University),  ” em eatcs.org (acessado em 25 de março de 2016 ) .
  3. "  O EATCS concede o Prêmio Presburger 2017 a Alexandra Silva (University College London)  " , em eatcs.org (acessado em 29 de maio de 2017 ) .
  4. "  Laudatio 2017  " .

Link externo