LFCS 2013 Rosser Prize for Best Paper to GC Student

Junhua Yu, a doctoral student in computer science, was awarded the 2013 Rosser Prize for Best Student Paper by the Logical Foundations of Computer Science (LFCS) symposium. Yu won the prize for his paper "Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic."

Submitted on: NOV 7, 2012

Category: Computer Science