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:
- 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.
- 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ż
- Nagroda Turinga
- Nagroda Gödla
- Nagroda Abla
- Medal Pola
- Nagroda Gaussa
- Medal Cherna
- Nagroda Schocka
- Nagroda Wilka
- Lista nagród w dziedzinie informatyki
- Lista nagród matematycznych
Uwagi
Linki zewnętrzne
- Nagrody Rolfa Nevanlinny – Oficjalna strona