Junhua Yu is a Ph.D. student of Computer Science in the Graduate Center under supervision of Sergei Artemov. Junhua is a winner of the Yandex Best Paper Award for the best student paper from the 5th International Computer Science Symposium in Russia, CSR 2010, and the Rosser Prize for the best student paper from the Symposium on Logical Foundations of Computer Science 2013 in San Diego.