Academic Profile

Asst. Prof. Wu Guohua joined NTU on 10 April 2005, and is working at the Division of Mathematical Sciences, School of Physical and Mathematical Sciences. He received his Bachelor and Master degrees in Mathematics from Yangzhou University, and Ph.D. degree from Victoria University of Wellington. From 2002 to 2005, he worked an an FRST post-doctor at Victoria University of Wellington. His research interests include Theory and Models of Computation, Complexity Theory, Recursion Theory, Set Theory, and Mathematical Logic. The significance of his research has been widely recognized. In 2003, he received the Hatherton Awards from Royal Society of New Zealand, and in 2008, he received the Young Researcher Award from School of Physical and Mathematical Sciences, Nanyang Technological University. He has published over 30 top quality international conference and journal papers, and has been often invited as a referee for a number of premier conferences and journals, such as Journal of Symbolic Logic, Annals of Pure and Applied Logic, Journal of Complexity, and so on.
guohua_1_2.JPG picture
Assoc Prof Wu Guohua
Associate Professor, School of Physical & Mathematical Sciences - Division of Mathematical Sciences

Theory and Models of Computation, Recursion Theory, Complexity Theory, Mathematical Logic
  • Computability Theory and Ordered Structures
  • Frank Stephan, Guohua Wu. (2013). Highness, Locally Noncappability and Nonboundings. Annals of Pure and Applied Logic, 164(5), 511-522.

  • Jiang Liu and Guohua Wu. (2012). Almost universal cupping and diamond embeddings. Annals of Pure and Applied Logic, 163(6), 717-729.

  • Chengling Fang, Guohua Wu. (2012). Nonhemimaximal Degrees and the high/low Hierarchy. The Journal of Symbolic Logic, 77(2), 433-446.

  • Rod Downey, Steffen Lempp and Guohua Wu. (2011). On the complexity of the successivity relation in computable linear orderings. Journal of Mathematical Logic, 10(1-2), 83-99.

  • Chengling Fang, Jiang Liu and Guohua Wu. (2011). Lecture Notes in Computer Science 6735 (Models of Computation in Context - 7th Conference on Computability in Europe): Cupping and diamond embeddings: a unifying approach. Computability in Europe (CiE) 2011 (pp. 71-80)Heidelberg: Springer.