Yong Cheng is currently a professor in the School of Philosophy at Wuhan University in China. He received his PhD in Mathematics (Logic) from the National University of Singapore in 2012. From 2013 to 2014, he was a postdoctoral fellow at the Institute for Mathematical Logic and Foundational Research at the University of Münster's Department of Mathematics and Computer Science in Germany. His research interests lie at the intersection of Logic (with a focus on the incompleteness phenomenon and the foundations of mathematics) and Philosophy of Science (encompassing philosophy of mathematics, philosophy of logic, philosophy of computation, and scientific methodology). His recent research focuses on the logical, foundational, and philosophical study of the incompleteness phenomenon as revealed in Gödel's incompleteness theorems. He is the author of Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle (Springer, 2019).