Wu Guohua

Wu Guohua is an Associate Professor in the Division of Mathematical Sciences at the School of Physical & Mathematical Sciences, College of Science, Nanyang Technological University (NTU), Singapore. He has been serving in this position since 2011 after working as an Assistant Professor at NTU from 2005-2011 and completing a Post-Doctoral Fellowship at Victoria University of Wellington from 2002-2005.

His educational background includes a B.Sc. from Yangzhou Teachers' College (1987-1991), M.Sc. from Yangzhou University (1993-1996), and Ph.D. from Victoria University of Wellington, New Zealand (1999-2002).

• 1987-1991: B.Sc., Yangzhou Teachers' College (now Yangzhou University), China
• 1993-1996: M.Sc., Yangzhou University, China
• 1999-2002: Ph.D., Victoria University of Wellington, New Zealand

Wu Guohua's research focuses on foundational aspects of theoretical computer science and mathematical logic. His primary interests include Computability and Complexity Theory, Formal Languages, Mathematical Logic and Set Theory, Universal Algebra, and Effective Aspects of Analysis, Algebra and Combinatorics. His work bridges abstract mathematical concepts with computational applications, examining the boundaries of what can be computed and how efficiently.

His publication record demonstrates consistent contributions to mathematical logic and computability theory, with recent work focusing on degree structures, randomness notions, and connections between algebraic structures and computational complexity. His articles frequently appear in top journals like the Journal of Symbolic Logic, Annals of Pure and Applied Logic, and Archive for Mathematical Logic, as well as proceedings of major conferences in theoretical computer science.

His notable awards include:

• Young Researcher Award from School of Physical and Mathematical Sciences, NTU (2008)
• Hatherton Awards from Royal Society of New Zealand (2003)
• Post-Doctoral Fellowship from Foundation of Research, Science and Technology, New Zealand (2002-2005)

Wu Guohua has been actively involved in teaching and academic service. He has taught courses including Abstract Algebra II, Probability and Statistics, Continuous Methods, and various graduate seminars. He has also co-edited proceedings of the 7th and 8th Asian Logic Conferences (2003) and the 11th Asian Logic Conference (2011), demonstrating his leadership in the logic community.