IMU Abacus Medalj

IMU Abacus Medal , känd före 2022 som Rolf Nevanlinna-priset , delas ut vart fjärde år vid International Congress of Mathematicians , som arrangeras av International Mathematical Union (IMU), för enastående insatser inom matematiska aspekter av informationsvetenskap, inklusive:

Alla matematiska aspekter av datavetenskap , inklusive beräkningskomplexitetsteori , logik för programmeringsspråk , analys av algoritmer , kryptografi , datorseende , mönsterigenkänning , informationsbehandling och modellering av intelligens.
Vetenskaplig beräkning och numerisk analys . Beräkningsaspekter av optimerings- och styrteori . Datoralgebra .

Priset instiftades 1981 av International Mathematical Unions verkställande kommitté och är uppkallat efter den finske matematikern Rolf Nevanlinna . Den består av en guldmedalj och ett kontantpris. Priset riktar sig till yngre teoretiska datavetare, och endast de som är yngre än 40 år den 1 januari prisåret är berättigade. Den delas ut tillsammans med andra IMU-priser inklusive Fields-medaljen .

Namngivning

Priset var ursprungligen utsett för att hedra den finske matematikern Rolf Nevanlinna som hade dött ett år innan priset skapades 1981. Medaljen hade en profil av Nevanlinna, texten "Rolf Nevanlinna-priset" och mycket små tecken "RH 83" på dess framsidan. RH hänvisar till Raimo Heino , medaljens formgivare, och 83 till det första präglingsåret. På baksidan är två figurer relaterade till Helsingfors universitet, prissponsorn, graverade. Fälgen bär namnet på pristagaren.

Alexander Soifer , ordförande för World Federation of National Mathematics Competitions, klagade över prisets hedrande av Nevanlinna, eftersom han var en anhängare av Hitler och hade agerat som representant för den finska frivilligbataljonen i Waffen-SS under andra världskriget. Soifer diskuterade Nevanlinnas krigstida aktiviteter i en bok från 2015 och vidarebefordrade hans personliga och hans organisations förfrågningar till IMU:s verkställande kommitté att ändra prisets namn. I juli 2018 beslutade IMU:s 18:e generalförsamling att ta bort namnet på Rolf Nevanlinna från priset. Det tillkännagavs senare att priset skulle få namnet IMU Abacus Medal.

Pristagare

År	Pristagare	Skäl
1982	Robert Tarjan	"Fick det första Nevanlinna-priset för enastående bidrag till matematiska aspekter av informationsvetenskap. "Ren matematik åtnjuter lyxen att studera dess konstruktioner, vare sig de är ändliga eller oändliga, helt oberoende av alla frågor om effektivitet." förklarade Jacob Schwartz, som talade om Tarjans "Däremot måste teoretisk datavetenskap i slutändan sysselsätta sig med datormotorer som arbetar med begränsad hastighet och datalagring, och måste därför ta effektivitet som en av sina centrala angelägenheter. Två närbesläktade aktiviteter, algoritmdesign och algoritmanalys, växer fram ur denna oundvikliga oro."
1986	Leslie Valiant	"Valiant har bidragit på ett avgörande sätt till tillväxten av nästan varje gren av det snabbt växande unga trädet inom teoretisk datavetenskap, hans teori om att räkna problem är kanske hans viktigaste och mest mogna arbete."
1990	Alexander Razborov	"För hans banbrytande arbete på lägre gränser för kretskomplexitet."
1994	Avi Wigderson	"För hans enastående arbete med datavetenskapens matematiska grunder. Forskningsobjekten där inkluderar till exempel att hitta effektiva metoder för att lösa komplexa uppgifter samt övre och nedre gränser för beräkningsansträngningen för vissa problem. Wigderson gjorde en betydande insats. att förstå den paradoxala termen "noll-kunskap interaktiva bevis".
1998	Peter Shor	"För hans enastående arbete med kvantberäkning och i synnerhet för att härleda Shors algoritm ."
2002	Madhu Sudan	"För viktiga bidrag till flera områden inom teoretisk datavetenskap, inklusive probabilistiskt kontrollerbara bevis, icke-närbarhet av optimeringsproblem och felkorrigerande koder."
2006	Jon Kleinberg	"För djupa, kreativa och insiktsfulla bidrag till den matematiska teorin om den globala informationsmiljön, inklusive den inflytelserika "hubbar och myndigheter"-algoritmen; metoder för att upptäcka korta kedjor i stora sociala nätverk; tekniker för att modellera, identifiera och analysera skurar i dataströmmar ; teoretiska modeller för gemenskapstillväxt i sociala nätverk; och bidrag till den matematiska teorin om klustring."
2010	Daniel Spielman	"För utjämnad analys av linjär programmering, algoritmer för grafbaserade koder och tillämpningar av grafteori på numerisk beräkning."
2014	Subhash Khot	"För hans förutseende definition av problemet med "Unika spel" och ledande ansträngningarna att förstå dess komplexitet och dess avgörande roll i studiet av effektiv approximation av optimeringsproblem, har hans arbete lett till genombrott inom algoritmisk design och approximationshårdhet, och för att nya spännande interaktioner mellan beräkningskomplexitet, analys och geometri."
2018	Constantinos Daskalakis	"För att förändra vår förståelse av beräkningskomplexiteten hos grundläggande problem på marknader, auktioner, jämvikter och andra ekonomiska strukturer. Hans arbete ger både effektiva algoritmer och gränser för vad som kan utföras effektivt inom dessa domäner."
2022	Mark Braverman	"För sin banbrytande forskning utvecklade teorin om informationskomplexitet, ett ramverk för att använda informationsteori för att resonera kring kommunikationsprotokoll. Hans arbete har lett till att direktsummasatser ger lägre gränser för amorterad kommunikation, geniala protokollkomprimeringsmetoder och nya interaktiva kommunikationsprotokoll som är motståndskraftiga mot brus."

Se även

Anteckningar

externa länkar

IMU Abacus Medal - Officiell sida
Rolf Nevanlinna-priser – Officiell sida