Den EATCS Prisen er en pris, gitt av European Association for teoretisk informatikk (EATCS) til en forsker å ære sin strålende karriere i teoretisk informatikk .
EATCS-prisen har blitt tildelt årlig siden 2000. Den belønner en forsker for omfattende og anerkjent arbeid innen teoretisk informatikk gjennom en vitenskapelig karriere. Prisen deles ut i anledning ICALP- konferansen . Det er ledsaget av en sum på 1000 euro.
År | Mottaker | Konferansested | Prisbelønt arbeid |
---|---|---|---|
2021 | Toniann pitassi | For hans bidrag til kompleksitetsteori , inkludert bevisets kompleksitet , innføring av nye modeller, utvikling av nye teknikker og etablering av nye forbindelser mellom forskjellige felt. Hans arbeid var viktig for læring og datamaskinoptimalisering , verifisering og løsning av SAT-problemer, kretsens kompleksitet og kompleksiteten i kommunikasjon og deres applikasjoner. | |
2020 | Mihalis Yannakakis | For hans mange og varierte bidrag til algoritmikk, kompleksitetsteori, kombinatorisk optimalisering, databaser og verifisering. Spesielt om begrensningene for lineær optimalisering , introdusering av kompleksitetsklassene max-SNP (se APX (kompleksitet) ) og PLS (en) , arbeider rundt PCP-setningen og grunnleggende arbeid med verifisering av modeller . | |
2019 | Thomas henzinger | ICALP Patras | Formell verifisering og syntese av reaktive , sanntids- og hybridsystemer, og anvendelse av formelle metoder på biologiske systemer. |
2018 | Noam Nisan | ICALP ( Praha ) | Kompleksitetsteori ( kommunikasjonskompleksitet , læring, parallellitet, teori om tilfeldighet ...) og algoritmisk spillteori |
2017 | Eva Tardos | ICALP ( Warszawa ) | Sterke polynomalgoritmer, lineær programmering og algoritmedesign , tilnærmelsesalgoritmer , algoritmisk spillteori . |
2016 | Dexter Kozen | ICALP ( Roma ) | Fullstendighet av proposisjonell dynamisk logikk, vekslende Turing-maskin , modalogikk , Kleene-algebra , kompleksitet av virkelige algebraiske teorier, Kozen-Landau-nedbrytning i formell kalkulator , sannsynlig semantikk. Forfatter av grunnleggende lærebøker i teoretisk informatikk. |
2015 | Christos Papadimitriou | ICALP ( Kyōto ) | Algoritmer , kompleksitetsteori , algoritmisk spillteori , databaseteori , optimalisering , robotikk . "Christos Papadimitriou kombinerer et stort, innflytelsesrikt og variert utvalg av vitenskapelige funn med gavene til en inspirerende lærer og god formidler." |
2014 | Gordon plotkin | ICALP ( København ) | Strukturell operativ semantikk (SOS), denotasjonell semantikk , typeteori , domeneteori og kategorisk analyse, mer generelt i bevisteori , semantikk i naturlige språk, prosessalgebraer . |
2013 | Martin dyer | ICALP ( Riga ) | Lineære algoritmer i tid for lineære programmer i lav dimensjon, med applikasjoner i beregningsgeometri . Probabilistisk analyse av algoritmer. Randomisert polynomaltidsalgoritme for tilnærming til volumet til et stort dimensjonalt konveks objekt. Kompleksitet i telling av problemer med tilfredsstillelse av begrensninger . |
2012 | Moshe Vardi | ICALP ( Warwick ) | Anvendelse av logikk til informatikk, databaseteori, endelig modellteori, kunnskapsmodellering i multi-agent-systemer, modellverifisering . Moshe Vardi er medforfatter av Reasoning about Knowledge and Finite Model Theory and its Applications . |
2011 | Boris Trakhtenbrot | ICALP ( Zürich ) | En av grunnleggerne til teoretisk informatikk, visjonær, pioner i flere retninger: i kompleksitetsteori , "gapteoremet" eller "gapteoremet"; i modellen teori den teorem Trakhtenbrot . Trakhtenbrot på den ene siden, J. Büchi og C. Elgot på den annen side demonstrerer uavhengig ekvivalensen mellom endelig automata og annenordens monadisk logikk (MSO), et resultat som kalles Büchi-Elgot-Trakhtenbrot-teoremet. |
2010 | Kurt mehlhorn | ICALP ( Bordeaux ) | Forfatter av flere bøker. Grunnleggende bidrag i datastrukturer , beregningsgeometri , algebra , parallell databehandling , VLSI- teknologi og kompleksitetsteori , kombinatorisk optimalisering og grafalgoritme , kommunikasjonskompleksitet . Kreasjon med Stefan Näher fra LEDA . |
2009 | Gerard Huet | ICALP ( Rhodos ) | Forening av typede vilkår for Lambda-calculus . Teori om typer . Omskriv og ferdigstillelse av Knuth-Bendix . Coq- bevis assistent . |
2008 | Leslie Valiant | ICALP ( Reykjavik ) | Introduksjon av # P- kompleksitetsklassen , Vazirani-Valiant-teorem, maskinlæring , spesielt PAC-læring , holografiske algoritmer. Familier med deterministisk pushdown automata ; distribuert og parallell databehandling . |
2007 | Dana S. Scott | ICALP ( Wrocław ) | Teori om automata , semantikk i programmeringsspråk , modalogikk , topologi og kategoriteori . Hans samarbeid med Christopher Strachey la grunnlaget for moderne tilnærminger til semantikken i programmeringsspråk . |
2006 | Mike Paterson | ICALP ( Venezia ) | Design og analyse av algoritmer og kompleksitetsteori . Teori om språk , distribuerte algoritmer, teori om automata . Medforfatter av en bok om automatiske grupper . Kjent som oppfinneren av spill, som Patersons ormer eller spirer . |
2005 | Robin milner | ICALP ( Lisboa ) | Bevis for logikk for beregningsfunksjoner eller LCF- teoremer . ML programmeringsspråk med polymorf type inferens og et skrevet unntakshåndteringssystem . Calculus of Communicating Systems (CCS) for analyse av samtidige systemer . pi-kalkulus og bisimulering . |
2004 | Arto Salomaa | ICALP ( Turku ) | formelle språk , automatteori , ordkombinatorikk og kryptografi . Han er, med særlig Maurice Nivat og Grzegorz Rozenberg , en av grunnleggerne av europeisk teoretisk informatikk. Forfatter og utgiver av mange bøker, initiativtaker og tilrettelegger på alle forskningsnivåer. |
2003 | Grzegorz Rozenberg | ICALP ( Eindhoven ) | Theory of formelle språk og automater , omskriving av grafer, Lindenmayer systemer , Petri nett , spor teori . Han var promotoren og varslet for naturlig databehandling og DNA-databehandling , ga det sitt nåværende navn og tegnet omrissene. Han er grunnlegger av International Journal on Natural Computing . Forfatter og redaktør av mange avhandlinger. |
2002 | Maurice Nivat | ICALP ( Malaga ) | Med Arto Salomaa og Grzegorz Rozenberg , en av grunnleggerne av europeisk teoretisk informatikk. Han gjorde seg til standard bærer av informatikk i betydningen Marcel-Paul Schützenberger . Teori om språk og automata, semantikk i programmeringsspråk, han er opprinnelsen til en viktig fransk skole for teoretisk informatikk. |
2001 | Corrado Böhm | ICALP ( Kreta ) | Informatiker og logiker, forfatter av det strukturerte programsetningen i “programmering uten å gå”. Lambda-kalkulus , inkludert sammenligning av β-konvertering og η-konvertering . CUCH abstrakt maskin. Böhm-Berarducci-koding. En av grunnleggerne av den italienske skolen for teoretisk informatikk og funksjonell programmering. |
2000 | Richard karp | ICALP ( Genève ) | Klasse av NP-komplette problemer . Tallrike algoritmer: Edmonds-Karp algoritme for maksimalt strømningsproblem ; Hopcroft-Karp-algoritme for et koblingsproblem ; den Karp-Lipton teorem i kompleksitet teoretisk; Rabin-Karp mønster søkealgoritme . Probabilistisk primalitetstest. En søyle av teoretisk informatikk. |
" EATCS award page " , på EATCS