Kleene Award

Kleene -priset delas ut vid det årliga IEEE Symposium on Logic in Computer Science (LICS) till författaren/författarna till den/de bästa studentuppsatsen. En uppsats kvalificeras som en studentuppsats om varje författare är student vid inlämningsdatumet. Berättigade är också författare som nyligen tagit examen, förutsatt att den inlämnade uppsatsen är baserad på arbete som utförts när han eller hon fortfarande var student. Tilldelningsbeslutet fattas av programnämnden.

Priset är uppkallat efter Stephen Cole Kleene , som gjorde banbrytande arbete inom logikområdet relaterat till datavetenskap.

Tidigare mottagare

Tidigare mottagare av Kleene-priset visas nedan.

År	Mottagare	Papper
1995	Alexei P. Kopylov	"Beslutbarhet av linjär affin logik"
1996	Juha Nurmonen	"Räkna modulkvantifierare på ändligt linjärt ordnade träd"
1996	Guy McCusker	"Spel och full abstraktion för FPC"
1997	Julian Rathke	"Unik fixpunktsinduktion för värdeöverförande processer"
1998	Jean-Marie Le Bars	"Fragment av existentiell andra ordningens logik utan 0-1 lagar"
2000	Lars Birkedal	"En allmän uppfattning om realiserbarhet"
2001	Kazushige Terui	"Lätt affin lambdaräkning och stark normalisering av polytime"
2001	Frédéric Blanqui	"Definitioner genom omskrivning i konstruktionskalkylen"
2002	Albert Atserias	"Otillfredsställande slumpmässiga formler är svåra att certifiera"
2003	Benjamin Rossman	"Efterträdare-invarians i det ändliga"
2004	Felix Klaedtke	"Om automatstorleken för Presburger Arithmetic"
2005	Benjamin Rossman	"Existentiella positiva typer och bevarande under homomorfisims"
2006	Ugo Dal Lago	"Kontextsemantik, linjär logik och beräkningskomplexitet"
2007	Nikos Tzevelekos	"Fullständig abstraktion för nominella allmänna referenser"
2008	David Duris	"Hypergraph Acyclicity and Extension Conservation Theorems"
2009	Oliver Friedmann	"En exponentiell nedre gräns för paritetsspelstrategiförbättringsalgoritmen som vi känner den"
2010	Anthony Widjaja Till	"Parikh bilder av grammatik: komplexitet och tillämpningar"
2011	Willem Heijltjes	"Bevisnät för additiv linjär logik med enheter"
2012	Christoph Berkholz	"Lägre gränser för existentiella Pebble-spel och k-konsistenstest"
2013	Ori Lahav	"Från ramegenskaper till hypersequenta regler i modal logik"
2014	Yaron Velner	"Strategisyntes med ändligt minne för robusta flerdimensionella mål för medelutdelning"
2014	Flavien Breuvart	"Om karaktäriseringen av modeller av H"
2015	Fabian Reiter	"Distribuerad grafautomat"
2016	Steen Vester	"Vinnande kärnor i paritetsspel"
2017	Amina Doumane	"Konstruktiv fullständighet för linjär-tids mu-kalkylen"
2018	Étienne Miquey	"En sekventiell kalkyl med beroende typer för klassisk aritmetik"
2019	Renaud Vilmart	"En nästan minimal axiomatisering av ZX-Calculus för ren Qubit-kvantmekanik"
2020	Julien Grange	"Efterträdare-invariant första ordningens logik på klasser av begränsad grad"

Se även

• Lista över datavetenskapspriser
• Machtey Award

externa länkar

• Kleene utmärkelse