El premio Kleene [1] se otorga en el Simposio anual IEEE sobre lógica en informática (LICS) al autor o autores de los mejores trabajos de estudiantes. Un trabajo se considera un trabajo de estudiantes si cada autor es estudiante en la fecha de presentación. También son elegibles los autores que se hayan graduado recientemente, siempre que el trabajo presentado se base en un trabajo realizado cuando aún era estudiante. La decisión sobre el premio la toma el Comité del Programa.
El premio lleva el nombre de Stephen Cole Kleene , quien realizó un trabajo pionero en el campo de la lógica relacionada con la informática.
A continuación se enumeran los ganadores anteriores del premio Kleene. [1]