Medalla IMU Ábaco

format_list_bulleted Contenido keyboard_arrow_down

ImprimirCitar

La Medalla IMU Abacus, conocida antes de 2022 como el Premio Rolf Nevanlinna, se otorga una vez cada cuatro años en el Congreso Internacional de Matemáticos, organizado por la Unión Matemática Internacional (IMU), por contribuciones sobresalientes en aspectos matemáticos de las ciencias de la información, que incluyen:

Todos los aspectos matemáticos de la informática, incluyendo la teoría de la complejidad computacional, lógica de los lenguajes de programación, análisis de algoritmos, criptografía, visión computarizada, reconocimiento de patrones, procesamiento de información y modelado de inteligencia.
Computación científica y análisis numérico. Aspectos computacionales de la teoría de optimización y control. Álgebra informática.

El premio fue establecido en 1981 por el Comité Ejecutivo de la Unión Matemática Internacional y recibió su nombre del matemático finlandés Rolf Nevanlinna. Consta de medalla de oro y premio en metálico. El premio está dirigido a científicos informáticos teóricos más jóvenes, y solo son elegibles los menores de 40 años el 1 de enero del año del premio. Se otorga junto con otros premios IMU, incluida la Medalla Fields.

Nombramiento

El premio se nombró originalmente en honor al matemático finlandés Rolf Nevanlinna, quien había muerto un año antes de la creación del premio en 1981. La medalla presentaba un perfil de Nevanlinna, el texto "Premio Rolf Nevanlinna", y caracteres muy pequeños "RH 83" en su anverso. RH se refiere a Raimo Heino, diseñador de la medalla, y 83 al año de la primera acuñación. En el reverso están grabadas dos figuras relacionadas con la Universidad de Helsinki, patrocinadora del premio. El borde lleva el nombre del ganador del premio.

Alexander Soifer, presidente de la Federación Mundial de Concursos Nacionales de Matemáticas, se quejó de que el premio se otorgara a Nevanlinna, ya que era partidario de Hitler y había actuado como representante del Batallón de Voluntarios de Finlandia de las Waffen- SS durante la Segunda Guerra Mundial. Soifer habló sobre las actividades de Nevanlinna durante la guerra en un libro de 2015 y envió sus solicitudes personales y de su organización al Comité Ejecutivo de IMU para cambiar el nombre del premio. En julio de 2018, la 18.ª Asamblea General de la IMU decidió eliminar el nombre de Rolf Nevanlinna del premio. Más tarde se anunció que el premio se llamaría Medalla IMU Abacus.

Laureadas

(feminine)

Año	Laureate	Razones
1982	Robert Tarjan	"Recibió el primer Premio Nevanlinna para contribuciones destacadas a aspectos matemáticos de la ciencia de la información. "Las matemáticas puras disfrutan del lujo de estudiar sus construcciones, ya sean finitas o infinitas, en total independencia de todas las cuestiones de eficiencia." explicó Jacob Schwartz, quien habló sobre la obra de Tarjan. "Por el contrario, la ciencia informática teórica debe en última instancia preocuparse por los motores informáticos que operan con velocidad limitada y almacenamiento de datos, y por lo tanto debe tomar eficiencia como una de sus preocupaciones centrales. Dos actividades estrechamente relacionadas, diseño de algoritmos y análisis de algoritmos, surgen de esta inevitable preocupación".
1986	Leslie Valiant	"Valiant ha contribuido de manera decisiva al crecimiento de casi todas las ramas del árbol joven de rápido crecimiento de la ciencia informática teórica, su teoría de contar problemas siendo quizás su trabajo más importante y maduro".
1990	Alexander Razborov	"Por su trabajo innovador en los límites inferiores para la complejidad del circuito."
1994	Avi Wigderson	"Por su trabajo sobresaliente en las bases matemáticas de la ciencia informática. Los objetos de investigación incluyen, por ejemplo, encontrar métodos eficientes para resolver tareas complejas, así como límites superiores e inferiores para el esfuerzo computacional para ciertos problemas. Wigderson hizo una contribución significativa para entender el término paradójico "pruebas interactivas de conocimiento cero".
1998	Peter Shor	"Para su trabajo sobre la computación cuántica y en particular para conducir el algoritmo del Shor."
2002	Madhu Sudán	"Para contribuciones importantes a varias áreas de la informática teórica, incluyendo pruebas verificables probabilísticamente, no aproximabilidad de problemas de optimización, y códigos de corrección de errores".
2006	Jon Kleinberg	"Para contribuciones profundas, creativas y perspicaces a la teoría matemática del entorno de la información global, incluyendo los influyentes "hubs and authorities"-algorithm; métodos para descubrir cadenas cortas en grandes redes sociales; técnicas para modelar, identificar y analizar ráfagas en flujos de datos; modelos teóricos de crecimiento comunitario en redes sociales; y contribuciones a la teoría matemática de agrupación".
2010	Daniel Spielman	"Para el análisis suavizado de la programación lineal, algoritmos para códigos basados en gráficos y aplicaciones de la teoría de gráficos a la computación numérica."
2014	Subhash Khot	"Para su definición previa del problema "Unique Games", y liderando el esfuerzo por comprender su complejidad y su papel fundamental en el estudio de la aproximación eficiente de los problemas de optimización; su trabajo ha llevado a avances en el diseño algorítmico y la dureza de aproximación, y a nuevas interacciones interesantes entre la complejidad computacional, el análisis y la geometría".
2018	Constantinos Daskalakis	"Para transformar nuestra comprensión de la complejidad computacional de los problemas fundamentales en mercados, subastas, equilibrios y otras estructuras económicas. Su trabajo proporciona tanto algoritmos eficientes como límites sobre lo que se puede realizar eficientemente en estos dominios."
2022	Mark Braverman	"Para su investigación innovadora que desarrolla la teoría de la complejidad de la información, un marco para usar la teoría de la información para razonar sobre los protocolos de comunicación. Su trabajo ha llevado a teoremas de suma directa dando límites inferiores a la comunicación amortizada, ingeniosos métodos de compresión de protocolos y nuevos protocolos de comunicación interactivos resistentes al ruido".

Contenido relacionado

Más resultados...