EATCS Palkinto on palkinto, antama European Association for Tietojenkäsittelyteorian (EATCS) tutkijalle noudattamaan loistavan uran teoreettisen tietojenkäsittelyopin .
EATCS-palkinto on jaettu vuosittain vuodesta 2000. Se palkitsee tutkijan laajasta ja laajalti tunnustetusta teoreettisen tietojenkäsittelyn työstä koko tieteellisen uran ajan. Palkinto jaetaan ICALP- konferenssin yhteydessä . Sen mukana on 1000 euron summa.
Vuosi | Vastaanottaja | Konferenssipaikka | Palkittuja teoksia |
---|---|---|---|
2021 | Toniann pitassi | Hänen panoksestaan monimutkaisuuden teoriaan , mukaan lukien todisteiden monimutkaisuus, uusien mallien käyttöönotto, uusien tekniikoiden kehittäminen ja uusien yhteyksien luominen eri alojen välille. Hänen työnsä käsittelee oppimista ja tietokoneen optimointia , SAT-ongelmien todentamista ja ratkaisemista, piirien monimutkaisuutta sekä viestinnän ja niiden sovellusten monimutkaisuutta . | |
2020 | Mihalis Yannakakis | Hänen monipuolisesta panoksestaan algoritmeihin, monimutkaisuuden teoriaan, kombinatoriseen optimointiin, tietokantoihin ja todentamiseen. Erityisesti lineaarisen optimoinnin rajoituksista, monimutkaisuusluokkien max-SNP (katso APX (kompleksisuus) ) ja PLS (en) käyttöönotosta , PCP-lauseen kiertämisestä ja perustyöstä mallien todentamiseksi . | |
2019 | Thomas Henzinger | ICALP Patras | Reaktiivisten , reaaliaikaisten ja hybridijärjestelmien muodollinen todentaminen ja synteesi sekä muodollisten menetelmien soveltaminen biologisiin järjestelmiin. |
2018 | Noam Nisan | ICALP ( Praha ) | Kompleksiteoria ( viestinnän monimutkaisuus , oppiminen, rinnakkaisuus, satunnaisuuden teoria ...) ja algoritminen peliteoria |
2017 | Eva Tardos | ICALP ( Varsova ) | Voimakkaasti polynomialgoritmit, lineaarinen ohjelmointi ja algoritmisuunnittelu , approksimaatioalgoritmit , algoritminen peliteoria . |
2016 | Dexter Kozen | ICALP ( Rooma ) | Ehdotuksen dynaamisen logiikan täydellisyys, vuorotteleva Turing-kone , modaalilogiikka , Kleene-algebra , todellisten algebrallisten teorioiden monimutkaisuus, Kozen-Landau-hajoaminen muodollisessa laskennassa , todennäköisyyssemantiikka. Teoreettisen tietojenkäsittelytieteen peruskirjojen kirjoittaja. |
2015 | Christos Papadimitriou | ICALP ( Kyōto ) | Algoritmit , kompleksiteoria , algoritminen peliteoria , tietokantateoria , optimointi , robotiikka . "Christos Papadimitriou yhdistää suuren, vaikuttavan ja monipuolisen tieteellisen löydöksen inspiroivan opettajan ja suuren kommunikaattorin lahjoihin." |
2014 | Gordon plotkin | ICALP ( Kööpenhamina ) | Rakenteelliset toiminnallinen semantiikka (SOS), denotational semantiikka , tyyppi teoria , domain teoria ja luokka-analyysi, yleisemmin todiste teoriassa , semantiikka luonnollisten kielten prosessi algebras . |
2013 | Martin dyer | ICALP ( Riika ) | Lineaariset algoritmit ajoissa matalamittaisille lineaarisille ohjelmille, sovelluksilla laskennallisessa geometriassa . Algoritmien todennäköisyysanalyysi. Satunnaistettu polynomiajan algoritmi suurdimensionaalisen kuperan objektin tilavuuden arvioimiseksi. Rajoitustyytyväisyysongelmien monimutkaisuus . |
2012 | Moshe Vardi | ICALP ( Warwick ) | Soveltaminen logiikka tietojenkäsittelytiede, tietokanta teoria, äärellisten mallien teoria, tiedon mallinnus monen agentti järjestelmien mallin todentaminen . Moshe Vardi on kirjoittanut tieteen ja rajallisen malliteorian ja sen sovellusten perustelut . |
2011 | Boris Trakhtenbrot | ICALP ( Zürich ) | Yksi teoreettisen tietojenkäsittelytieteen perustajista, visionääri, edelläkävijä useisiin suuntiin: monimutkaisuusteoriassa "aukkolause" tai "aukkolause"; vuonna mallien teoria lauseen Trakhtenbrot . Trakhtenbrot toisaalta, J. Büchi ja C. Elgot toisaalta osoittavat toisistaan riippumatta rajallisten automaattien ja toisen asteen monadisen logiikan (MSO) vastaavuuden , tulosta kutsutaan Büchi-Elgot-Trakhtenbrot-lauseeksi. |
2010 | Kurt mehlhorn | ICALP ( Bordeaux ) | Useiden kirjojen kirjoittaja. Peruspanos tietorakenteissa , laskennallisessa geometriassa , algebrassa , rinnakkaislaskennassa , VLSI- tekniikassa ja monimutkaisuusteoriassa , kombinatorisessa optimoinnissa ja kaavioalgoritmeissa , viestinnän monimutkaisuudessa . Luominen Stefan Näherin kanssa LEDA: lta . |
2009 | Gerard Huet | ICALP ( Rodos ) | Lambda-laskennan tyypittyjen termien yhdistäminen . Tyyppien teoria . Kirjoita ja täydennä Knuth-Bendix . Coq- todistettu avustaja . |
2008 | Leslie Valiant | ICALP ( Reykjavik ) | #P- monimutkaisuusluokan , Vazirani-Valiant-lauseen käyttöönotto, koneoppiminen , erityisesti PAC-oppiminen , holografiset algoritmit. Deterministisen pudotettavan automaatin perheet ; hajautettu ja rinnakkainen laskenta . |
2007 | Dana S. Scott | ICALP ( Wrocław ) | Automaattiteoria , ohjelmointikielien semantiikka , modaalilogiikka , topologia ja kategoriateoria . Hänen yhteistyönsä Christopher Stracheyn kanssa loi perustan nykyaikaisille lähestymistavoille ohjelmointikielien semantiikassa . |
2006 | Mike Paterson | ICALP ( Venetsia ) | Algoritmien suunnittelu ja analysointi ja kompleksiteoria . Kieliteoria , hajautetut algoritmit, automaattien teoria . Automaattiryhmiä käsittelevän kirjan toinen kirjoittaja . Tunnetaan pelien, kuten Patersonin matojen tai itujen, keksijänä . |
2005 | Robin Milner | ICALP ( Lissabon ) | Todistus logiikasta laskettaviin toimintoihin tai LCF- lauseisiin . ML ohjelmointikieli kanssa polymorfisen tyypin päättely ja kirjoitetaan poikkeus käsittelyjärjestelmä . Calculus viestintä Systems (CCS) analysointiin rinnakkaisten järjestelmien . pi-laskenta ja bisimulaatio . |
2004 | Arto Salomaa | ICALP ( Turku ) | formaalit kielet , automaattien teoria , sana kombinatoriikkaan ja kryptografia . Hän on erityisesti Maurice Nivatin ja Grzegorz Rozenbergin kanssa , yksi eurooppalaisen teoreettisen tietojenkäsittelytieteen perustajista. Lukuisten kirjojen kirjoittaja ja kustantaja, aloittaja ja avustaja kaikilla tutkimuksen tasoilla. |
2003 | Grzegorz Rozenberg | ICALP ( Eindhoven ) | Teoria virallisia kieliä ja automaatit , uudelleenkirjoitus kaavioita, Lindenmayerin järjestelmiä , Petri-verkoille , jäljittää teoria . Hän oli luonnollisen tietojenkäsittelyn ja DNA-laskennan edistäjä ja ilmoittaja , antoi sille nykyisen nimen ja luonnosteli sen ääriviivat. Hän on International Journal on Natural Computing -lehden perustaja . Kirjoittaja ja toimittaja lukuisia tutkielmia. |
2002 | Maurice Nivat | ICALP ( Malaga ) | Kanssa Arto Salomaa ja Grzegorz Rozenberg , yksi perustajista Euroopan teoreettisen tietojenkäsittelyopin. Hän teki itsestään tietojenkäsittelytieteen vakiokantajan Marcel-Paul Schützenbergerin mielessä . Kieli- ja automaatioteoria, ohjelmointikielien semantiikka, hän on tärkeän ranskalaisen tietojenkäsittelytieteen koulun alkuperä. |
2001 | Corrado Böhm | ICALP ( Kreeta ) | Tietojenkäsittelytieteen tutkija ja logiikka, strukturoidun ohjelmalauseen kirjoittaja ohjelmoinnissa ilman Gotoa. Lambda-laskenta , mukaan lukien β-muunnoksen ja η-muunnoksen vertailu . CUCH abstrakti kone. Böhm-Berarducci-koodaus. Yksi Italian teoreettisen tietojenkäsittelytieteen ja toiminnallisen ohjelmoinnin koulun perustajista. |
2000 | Richard karp | ICALP ( Geneve ) | Luokka NP-täydellisiä ongelmia . Lukuisia algoritmeja: Edmonds-Karp algoritmi varten maksimivirtaus ongelma ; Hopcroft-Karp algoritmi varten kytkentä ongelma ; Karp-Lipton lausetta in vaativuus; Rabin-Karp- kuvion hakualgoritmi . Todennäköisyysprimaattitesti. Teoreettisen tietojenkäsittelytieteen pilari. |
" EATCS-palkintosivu " , EATCS