Medalha Ábaco IMU
A IMU Abacus Medal, conhecida antes de 2022 como o Prêmio Rolf Nevanlinna, é concedida uma vez a cada quatro anos no Congresso Internacional de Matemáticos, organizado pela União Internacional de Matemática (IMU), por contribuições excepcionais em Aspectos matemáticos das ciências da informação, incluindo:
- Todos os aspectos matemáticos da ciência da computação, incluindo teoria da complexidade computacional, lógica das linguagens de programação, análise de algoritmos, criptografia, visão computacional, reconhecimento de padrões, processamento de informações e modelagem da inteligência.
- Computação científica e análise numérica. Aspectos computacionais da teoria da otimização e controle. Álgebra informática.
O prêmio foi criado em 1981 pelo Comitê Executivo da União Internacional de Matemática e recebeu o nome do matemático finlandês Rolf Nevanlinna. Consiste em uma medalha de ouro e um prêmio em dinheiro. O prêmio é direcionado a cientistas da computação teóricos mais jovens, e apenas aqueles com menos de 40 anos em 1º de janeiro do ano do prêmio são elegíveis. É concedido junto com outros prêmios IMU, incluindo a Medalha Fields.
Nomeando
O prêmio foi originalmente nomeado para homenagear o matemático finlandês Rolf Nevanlinna, que morreu um ano antes da criação do prêmio em 1981. A medalha apresentava um perfil de Nevanlinna, o texto "Prêmio Rolf Nevanlinna";, e caracteres muito pequenos "RH 83" em seu anverso. RH refere-se a Raimo Heino, criador da medalha, e 83 ao ano da primeira cunhagem. No reverso, estão gravadas duas figuras relacionadas à Universidade de Helsinki, patrocinadora do prêmio. O aro leva o nome do premiado.
Alexander Soifer, presidente da Federação Mundial de Competições Nacionais de Matemática, reclamou da homenagem a Nevanlinna pelo prêmio, por ser um apoiador de Hitler e ter atuado como representante do Batalhão de Voluntários Finlandês do Waffen- SS durante a Segunda Guerra Mundial. Soifer discutiu as atividades de guerra de Nevanlinna em um livro de 2015 e encaminhou seus pedidos pessoais e de sua organização ao Comitê Executivo da IMU para mudar o nome do Prêmio. Em julho de 2018, a 18ª Assembleia Geral da IMU decidiu retirar o nome de Rolf Nevanlinna do prêmio. Posteriormente, foi anunciado que o prêmio se chamaria IMU Abacus Medal.
Laureados
| Ano | Laureado | Razões |
|---|---|---|
| 1982 | Robert Tarjan | "Recebeu o primeiro Prêmio Nevanlinna por contribuições excepcionais para aspectos matemáticos da ciência da informação. "A matemática pura goza do luxo de estudar suas construções, finitas ou infinitas, em total independência de todas as questões de eficiência", explicou Jacob Schwartz, que falou sobre o trabalho de Tarjan. "Em contraste, a ciência da computação teórica deve, em última análise, se preocupar com motores de computação que operam com velocidade limitada e armazenamento de dados, e, portanto, deve ter eficiência como uma de suas preocupações centrais. Duas atividades intimamente relacionadas, design de algoritmos e análise de algoritmos, crescem fora desta preocupação inevitável." |
| 1986 | Leslie Valiant | "Valiant tem contribuído de forma decisiva para o crescimento de quase todos os ramos da árvore jovem de crescimento rápido da ciência da computação teórica, sua teoria de contar problemas sendo talvez seu trabalho mais importante e maduro." |
| 1990 | Alexander Razborov | "Por seu trabalho inovador em limites inferiores para a complexidade do circuito." |
| 1994 | Avi Wigderson | "Por seu excelente trabalho sobre os fundamentos matemáticos da ciência da computação. Os objetos de pesquisa lá incluem, por exemplo, encontrar métodos eficientes para resolver tarefas complexas, bem como limites superiores e inferiores para o esforço computacional para certos problemas. Wigderson fez uma contribuição significativa para entender o termo paradoxal "provas interativas de conhecimento zero". |
| 1998 | Peter Shor | "Para o seu excelente trabalho em computação quântica e, em particular, para derivar o algoritmo do Shor." |
| 2002 | Madhu Sudão | "Para contribuições importantes para várias áreas da ciência da computação teórica, incluindo provas de verificação probabilística, não-aproximabilidade de problemas de otimização e códigos de correção de erros." |
| 2006 | Jon Kleinberg | "Para contribuições profundas, criativas e perspicazes para a teoria matemática do ambiente de informação global, incluindo os influentes "hubs e autoridades"-algorithm; métodos para descobrir cadeias curtas em grandes redes sociais; técnicas para modelagem, identificação e análise de explosões em fluxos de dados; modelos teóricos de crescimento comunitário em redes sociais; e contribuições para a teoria matemática do agrupamento." |
| 2010 | Daniel Spielman | "Para análise alisada da programação linear, algoritmos para códigos baseados em grafos e aplicações da teoria dos grafos para computação numérica." |
| 2014 | Subhash Khot | "Por sua definição presciente do problema "Unique Games", e levando o esforço para entender sua complexidade e seu papel fundamental no estudo da aproximação eficiente dos problemas de otimização; seu trabalho levou a avanços no design algorítmico e na dureza de aproximação, e a novas interações emocionantes entre complexidade, análise e geometria computacionais." |
| 2018 | Constantinos Daskalakis | "Para transformar nossa compreensão da complexidade computacional dos problemas fundamentais nos mercados, leilões, equilibria e outras estruturas econômicas. Seu trabalho fornece algoritmos e limites eficientes sobre o que pode ser realizado de forma eficiente nesses domínios." |
| 2022 | Mark Braverman | "Por sua pesquisa quebrada no caminho, desenvolvendo a teoria da complexidade da informação, uma estrutura para usar a teoria da informação para fundamentar os protocolos de comunicação. Seu trabalho levou a teoremas de soma direta dando limites mais baixos na comunicação amortizada, métodos de compressão de protocolo engenhosos e novos protocolos de comunicação interativos resilientes ao ruído." |
Contenido relacionado
Gráfico expansor
Apenas outro hacker de Perl
Djbdns