Медаль абака

Медаль абака (англ. IMU Abacus Medal — награда за выдающиеся достижения молодых математиков (лауреату должно быть менее 40 лет на 1 января года присуждения премии) в области информатики или вычислительной математики. Присуждается раз в 4 года на Международном конгрессе математиков^[2][3].

Медаль абака
англ. Rolf Nevanlinna Prize англ. IMU Abacus Medal[1]
Страна	международное[вд]
Награда за	выдающиеся достижения молодых математиков в области информатики или вычислительной математики
Учредитель	Международный математический союз
Основание	1981
Сайт	mathunion.org/imu… (англ.)

Учреждена в 1981 году, присуждается с 1982 года, Первоначально называлась «Премия Неванлинны» или «приз Неванлинны» (англ. Rolf Nevanlinna Prize) в память президента Международного математического союза (с 1959 по 1963 годы) и ректора Хельсинкского университета, финского математика Рольфа Неванлинны, который скончался годом ранее. Присвоение премии имени Неванлинны вызвало протесты ряда общественных и научных деятелей. Неванлинна имел репутацию человека крайне правых взглядов, в годы войны был сторонником Гитлера и состоял членом профашистского «Патриотического народного движения». По этим причинам в июле 2018 года 18-я Генеральная ассамблея Международного математического союза приняла решение снять с приза имя Неванлинны. Новый приз согласились финансировать Хельсинкский университет и нью-йоркский Фонд Саймонса^[англ.]. С 2022 года, согласно решению Международного математического союза, данная премия называется «Медаль абака»^[4],

Награда состоит из денежного приза (10000 евро), диплома и золотой медали, на ободке которой вычеканено имя лауреата^[5].

Список лауреатов

См. также: Категория:Лауреаты премии Неванлинны

Год	Лауреат	Гражданство	Обоснование
1982	Роберт Тарджан	США	Оригинальный текст (англ.) Received the first Nevanlinna Prize for outstanding contributions to mathematical aspects of information science. "Pure mathematics enjoys the luxury of studying its constructions, whether finite or infinite, in complete independence of all questions of efficiency." explained Jacob Schwartz, who spoke on Tarjan's work. "By contrast, theoretical computer science must ultimately concern itself with computing engines which operate with limited speed and data storage, and therefore must take efficiency as one of its central concerns. Two closely related activities, algorithm design and algorithm analysis, grow out of this inevitable concern.
1986	Лесли Вэлиант	Великобритания	Оригинальный текст (англ.) Valiant has contributed in a decisive way to the growth of almost every branch of the fast growing young tree of theoretical computer science, his theory of counting problems being perhaps his most important and mature work.
1990	Александр Разборов	СССР	Оригинальный текст (англ.) For his groundbreaking work on lower bounds for circuit complexity.
1994	Ави Вигдерсон	Израиль	Оригинальный текст (англ.) For his outstanding work on the mathematical foundations of computer science. The objects of research there include, for example, finding efficient methods for solving complex tasks as well as upper and lower bounds for the computational effort for certain problems. Wigderson made a significant contribution to understanding the paradoxical term "zero-knowledge interactive proofs.
1998	Питер Шор	США	Оригинальный текст (англ.) For his outstanding work on quantum computation and in particular for deriving the Shor's algorithm.
2002	Мадху Судан	Индия /  США	Оригинальный текст (англ.) For important contributions to several areas of theoretical computer science, including probabilistically checkable proofs, non-approximability of optimization problems, and error-correcting codes.
2006	Джон Клейнберг	США	Оригинальный текст (англ.) For deep, creative and insightful contributions to the mathematical theory of the global information environment, including the influential "hubs and authorities"-algorithm; methods for discovering short chains in large social networks; techniques for modeling, identifying and analyzing bursts in data streams; theoretical models of community growth in social networks; and contributions to the mathematical theory of clustering.
2010	Дэниэл Спилмен	США	Оригинальный текст (англ.) For smoothed analysis of Linear Programming, algorithms for graph-based codes and applications of graph theory to Numerical Computing.
2014	Субхаш Хот	Индия /  США	Оригинальный текст (англ.) For his prescient definition of the “Unique Games” problem, and leading the effort to understand its complexity and its pivotal role in the study of efficient approximation of optimization problems; his work has led to breakthroughs in algorithmic design and approximation hardness, and to new exciting interactions between computational complexity, analysis and geometry.
2018	Константинос Даскалакис	Греция	Оригинальный текст (англ.) For transforming our understanding of the computational complexity of fundamental problems in markets, auctions, equilibria, and other economic structures. His work provides both efficient algorithms and limits on what can be performed efficiently in these domains.
2022	Марк Браверман	Израиль	Оригинальный текст (англ.) For his path-breaking research developing the theory of information complexity, a framework for using information theory to reason about communication protocols. His work has led to direct-sum theorems giving lower bounds on amortized communication, ingenious protocol compression methods, and new interactive communication protocols resilient to noise.

См. также

• Премия Филдса
• Премия Гаусса
• Премия Черна