El Premio Kleene [1]se otorga en el Simposio anual IEEE sobre Lógica en Ciencias de la Computación (LICS) a los autores de los mejores trabajos de estudiantes. Un artículo califica como trabajo de estudiante si cada autor es estudiante en la fecha de envío. 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 de adjudicación 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.