The LFCS series has the best student paper award, The Rosser Prize, named after John Barkley Rosser Sr. (1907–1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.
The Rosser Prize from LFCS 2020 goes to Hirohiko Kushida of the City University of New York Graduate Center for the paper On the Constructive Truth and Falsity in Peano Arithmetic. Congratulations to Hirohiko!