Nagroda Nevanlinny - Nevanlinna Prize

Nagroda Rolfa Nevanlinna , znana od 2022 roku jako Medal Abacus IMU , jest przyznawana raz na cztery lata na Międzynarodowym Kongresie Matematyków , którego gospodarzem jest Międzynarodowa Unia Matematyczna (IMU), za wybitny wkład w matematyczne aspekty nauk informatycznych, w tym:

  1. Wszystkie matematyczne aspekty informatyki , w tym teoria złożoności obliczeniowej , logika języków programowania , analiza algorytmów , kryptografia , widzenie komputerowe , rozpoznawanie wzorców , przetwarzanie informacji i modelowanie inteligencji.
  2. Obliczenia naukowe i analiza numeryczna . Obliczeniowe aspekty teorii optymalizacji i sterowania . Algebra komputerowa .

Nagroda została ustanowiona w 1981 roku przez Komitet Wykonawczy Międzynarodowej Unii Matematycznej i nazwana na cześć fińskiego matematyka Rolfa Nevanlinny . Składa się ze złotego medalu i nagrody pieniężnej. Nagroda skierowana jest do młodszych informatyków teoretycznych, a kwalifikują się tylko osoby, które mają mniej niż 40 lat w dniu 1 stycznia roku, w którym przyznano nagrodę. Jest przyznawany wraz z innymi nagrodami IMU, w tym Medalem Fieldsa .

Nazewnictwo

Nagroda została nazwana na cześć fińskiego matematyka Rolfa Nevanlinny, który zmarł rok przed utworzeniem nagrody w 1981 roku. Medal przedstawia profil Nevanlinny, tekst „Nagroda Rolfa Nevanlinny” i bardzo małe litery „RH 83” na jego awersie . RH odnosi się do Raimo Heino , projektanta medalu, a 83 do roku pierwszego wybicia. Na rewersie wygrawerowane są dwie postacie związane z Uniwersytetem w Helsinkach , sponsorem nagrody. Na obręczy widnieje nazwisko zwycięzcy.

Alexander Soifer , przewodniczący Światowej Federacji Narodowych Zawodów Matematycznych, skarżył się na uhonorowanie nagrody Nevanlinny, ponieważ był zwolennikiem Hitlera i działał jako przedstawiciel fińskiego Batalionu Ochotniczego Waffen-SS podczas II wojny światowej. Soifer omówił działania wojenne Nevanlinny w książce z 2015 roku i przekazał swoje osobiste i swojej organizacji prośby do Komitetu Wykonawczego IMU o zmianę nazwy nagrody. W lipcu 2018 roku XVIII Walne Zgromadzenie IRU podjęło decyzję o usunięciu z nagrody nazwiska Rolfa Nevanlinny. Później ogłoszono, że nagroda zostanie nazwana Medalem Abacus IMU.

Laureaci

Rok Laureat Powody
1982 Robert Tarjan „Otrzymał pierwszą nagrodę Nevanlinna za wybitny wkład w matematyczne aspekty informatyki. „Czysta matematyka cieszy się luksusem studiowania jej konstrukcji, zarówno skończonych, jak i nieskończonych, w całkowitej niezależności od wszystkich kwestii efektywności” – wyjaśnił Jacob Schwartz, który przemawiał na temat Tarjana. „Z drugiej strony, informatyka teoretyczna musi ostatecznie zająć się silnikami obliczeniowymi, które działają z ograniczoną prędkością i przechowywaniem danych, a zatem muszą traktować wydajność jako jeden ze swoich głównych problemów. Z tej nieuniknionej troski wyrastają dwie ściśle powiązane ze sobą czynności, projektowanie algorytmów i analiza algorytmów”.
1986 Leslie Valiant „Valiant w decydujący sposób przyczynił się do rozwoju niemal każdej gałęzi szybko rosnącego młodego drzewa informatyki teoretycznej, a jego teoria liczenia problemów jest być może jego najważniejszym i najbardziej dojrzałym dziełem”.
1990 Aleksander Razborow
1994 Avi Wigderson
1998 Piotr Szor Za wybitną pracę nad obliczeniami kwantowymi, aw szczególności za wyprowadzenie algorytmu Shora .
2002 Madhu Sudan
2006 Jona Kleinberga
2010 Daniel Spielman
2014 Subhasz Khot „Za jego proroczą definicję problemu „Unikalnych Gier” i prowadzenie wysiłków na rzecz zrozumienia jego złożoności i jego kluczowej roli w badaniu efektywnego przybliżania problemów optymalizacji; jego praca doprowadziła do przełomów w projektowaniu algorytmów i twardości aproksymacji oraz nowe ekscytujące interakcje między złożonością obliczeniową, analizą i geometrią”.
2018 Constantinos Daskalakis „Za przekształcenie naszego rozumienia złożoności obliczeniowej podstawowych problemów na rynkach, aukcjach, równowagach i innych strukturach ekonomicznych. Jego praca zapewnia zarówno wydajne algorytmy, jak i ograniczenia tego, co można skutecznie wykonać w tych dziedzinach”.

Zobacz też

Uwagi

Linki zewnętrzne