The Rosser Prize

LFCS is traditionally awarding the best student paper award named after John Barkley Rosser Sr. (1907–1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science.
After a direct vote of the whole Program Committee the John Barkley Rosser Sr. best student award (the Rosser Prize) at LFCS 2016 goes to two winners (listed alphabetically):
Scott Messick of Cornell University for his paper “Compactness in the Theory of Continuous Automata” 
and to
Tudor Protopopescu of CUNY Graduate Center for his paper “An Arithmetical Interpretation of Verification and Intuitionistic Knowledge.”
Congratulations to Scott and Tudor!