Az EATCS-díjat az Európai Elméleti Számítástechnikai Szövetség (EATCS) adományozza egy kutatónak, hogy tiszteletét fejezze ki az elméleti számítástechnika területén .
Az EATCS-díjat 2000 óta évente adják ki. Jutalmazza meg a kutatót az elméleti számítástechnika területén a tudományos pályafutás során végzett széles körű és széles körben elismert munkáért. A díjat az ICALP konferencia alkalmából adják át . 1000 eurós összeggel jár.
Év | Befogadó | Konferencia helyszín | Díjnyertes munka |
---|---|---|---|
2021 | Toniann pitassi | A komplexitáselmélethez való hozzájárulásáért , beleértve a bizonyítékok összetettségét, új modellek bevezetését, új technikák kifejlesztését és új kapcsolatok létrehozását a különböző területek között. Munkája a tanulás és a számítógép optimalizálása , a SAT problémák ellenőrzése és megoldása, az áramkör komplexitása, valamint a kommunikáció és azok alkalmazásainak komplexitása . | |
2020 | Mihalis Yannakakis | Az algoritmikához, a komplexitáselmélethez, a kombinatorikus optimalizáláshoz, az adatbázisokhoz és az ellenőrzéshez nyújtott sok és változatos hozzájárulásáért. Különösen a lineáris optimalizálás korlátairól , a max-SNP (lásd APX (komplexitás) ) és a PLS (en) komplexitási osztályok bevezetéséről, a PCP-tétel körüli munkáról és a modellek ellenőrzésének alapvető munkájáról . | |
2019 | Thomas henzinger | ICALP Patras | A reaktív , valós idejű és hibrid rendszerek formális ellenőrzése és szintézise , valamint formális módszerek alkalmazása a biológiai rendszerekben. |
2018 | Noam Nisan | ICALP ( Prága ) | Komplexitáselmélet ( kommunikáció komplexitás , tanulás, párhuzamosság, véletlenszerűség elmélete ...) és algoritmikus játékelmélet |
2017 | Tardos Éva | ICALP ( Varsó ) | Erősen polinom algoritmusok, lineáris programozás és algoritmus tervezés , közelítő algoritmusok , algoritmikus játékelmélet . |
2016 | Dexter Kozen | ICALP ( Róma ) | A propozíciós dinamikai logika teljessége, váltakozó Turing-gép , modális logika , Kleene-algebra , a valós algebrai elméletek komplexitása, Kozen-Landau-bontás formális számításban , valószínűségi szemantika. Alapvető tankönyvek írója az elméleti informatikában. |
2015 | Christos Papadimitriou | ICALP ( Kyōto ) | Algoritmusok , bonyolultságelmélet , algoritmikus játékelmélet , adatbáziselmélet , optimalizálás , robotika . "Christos Papadimitriou a tudományos eredmények nagy, befolyásos és változatos anyagát ötvözi egy inspiráló tanár és nagyszerű kommunikátor ajándékaival." |
2014 | Gordon plotkin | ICALP ( Koppenhága ) | Strukturális operatív szemantika (SOS), denotációs szemantika , típuselmélet , tartományelmélet és kategorikus elemzés, általánosabban a bizonyításelméletben , a természetes nyelvek szemantikájában, a folyamatalgebrákban . |
2013 | Martin dyer | ICALP ( Riga ) | Lineáris algoritmusok időben lineáris programokhoz alacsony dimenzióban, alkalmazásokkal a számítási geometriában . Algoritmusok valószínűségi elemzése. Véletlenszerű polinomiális idő algoritmus nagy dimenziós konvex objektum térfogatának közelítésére. A kényszer-elégedettségi problémák számlálásának összetettsége . |
2012 | Moshe Vardi | ICALP ( Warwick ) | A logika alkalmazása a számítástechnikában, az adatbáziselmélet, a véges modellelmélet, az ismeretek modellezése többügynövelő rendszerekben, modellellenőrzés . Moshe Vardi társszerzője a gondolkodás a tudásról , a véges modellelméletről és annak alkalmazásairól . |
2011 | Borisz Trakhtenbrot | ICALP ( Zürich ) | Az elméleti számítástechnika egyik alapító atyja, látnok, több irányban úttörő: a komplexitáselméletben a „rés-tétel” vagy „rés-tétel”; a modellelméletben a Trakhtenbrot tétel . Trakhtenbrot egyrészt J. Büchi és C. Elgot, másrészt függetlenül demonstrálja a véges automaták és a másodrendű monádikus logika (MSO) közötti egyenértékűséget , ezt az eredményt Büchi-Elgot-Trakhtenbrot tételnek hívják. |
2010 | Kurt mehlhorn | ICALP ( Bordeaux ) | Több könyv szerzője. Alapvető hozzájárulás az adatszerkezetekhez , a számítási geometriához , a számítógépes algebra , a párhuzamos számításokhoz , a VLSI technológiához és a komplexitáselmélethez , a kombinatorikus optimalizáláshoz és a gráfalgoritmikához , a kommunikáció komplexitásához . Alkotás Stefan Näherrel a LEDA-tól . |
2009 | Gerard Huet | ICALP ( Rodosz ) | A Lambda-számítás tipizált kifejezéseinek egyesítése . A típusok elmélete . A Knuth-Bendix átírása és befejezése . Coq proof asszisztens . |
2008 | Leslie Valiant | ICALP ( Reykjavik ) | A #P komplexitás osztály bevezetése , Vazirani-Valiant tétel, gépi tanulás , különös tekintettel a PAC tanulásra , holografikus algoritmusok. A determinisztikus lehúzható automaták családjai ; elosztott és párhuzamos számítástechnika . |
2007 | Dana S. Scott | ICALP ( Wrocław ) | Az automaták elmélete , a programozási nyelvek szemantikája , a modális logika , a topológia és a kategóriaelmélet . Christopher Strachey- vel való együttműködése megalapozta a programozási nyelvek szemantikájának modern megközelítését . |
2006 | Mike Paterson | ICALP ( Velence ) | Algoritmusok és komplexitáselmélet tervezése és elemzése . Nyelvek elmélete , elosztott algoritmusok, automaták elmélete . Az automatikus csoportokról szóló könyv társszerzője . Olyan játékok feltalálójaként ismert, mint Paterson férgei vagy hajtásai . |
2005 | Robin milner | ICALP ( Lisszabon ) | Logika igazolása a kiszámítható függvényekhez vagy az LCF tételekhez . ML programozási nyelv a polimorf típusú következtető és gépelt kivétel kezelő rendszer . Kommunikációs rendszerek (CCS) kiszámítása az egyidejű rendszerek elemzéséhez . pi-calculus és bisimulation . |
2004 | Arto Salomaa | ICALP ( Turku ) | formális nyelvek , automataelmélet , szókombinatorika és rejtjelezés . Különösen Maurice Nivat és Grzegorz Rozenberg mellett az európai elméleti számítástechnika egyik megalapítója. Számos könyv szerzője és kiadója, kezdeményező és elősegítő a kutatás minden szintjén. |
2003 | Grzegorz Rozenberg | ICALP ( Eindhoven ) | Elmélete formális nyelvek és automaták , újraírása grafikonok, Lindenmayer rendszerek , Petri hálók , nyoma elmélet . A természetes számítástechnika és a DNS-számítástechnika hirdetője és hírnöke volt , megadta annak jelenlegi nevét és felvázolta annak körvonalait. Az International Journal on Natural Computing alapítója . Számos értekezés szerzője és szerkesztője. |
2002 | Maurice Nivat | ICALP ( Malaga ) | A Arto Salomaa és Grzegorz Rozenberg , egyik alapítója az Európai elméleti számítógép-tudomány. Marcel-Paul Schützenberger értelmében a számítástechnika standard hordozójává tette magát . A nyelvek és automaták elmélete, a programozási nyelvek szemantikája, ő származik egy fontos francia elméleti informatikai iskolából. |
2001 | Corrado Böhm | ICALP ( Kréta ) | Számítástechnikus és logikus, a „Goto nélküli programozás” strukturált program tételének szerzője . Lambda-számítás , ideértve a β-konverzió és a η-konverzió összehasonlítását . CUCH absztrakt gép. Böhm-Berarducci kódolás. Az olasz számítógépes elméleti és funkcionális programozási iskola egyik alapítója. |
2000 | Richard karp | ICALP ( Genf ) | Az NP-teljes problémák osztálya . Számos algoritmus: Edmonds-Karp algoritmus a maximális áramlási problémához ; Hopcroft-Karp algoritmus egy kapcsolási problémához ; a Karp-Lipton-tétel a komplexitáselméletben; Rabin-Karp mintakereső algoritmus . Valószínűségi primalitás teszt. Az elméleti számítástechnika oszlopa. |
" EATCS-díjoldal " , az EATCS- on