|Assoc Prof Wu Guohua|
Associate Chair (Graduate Studies), School of Physical & Mathematical Sciences
Division of Mathematical Sciences
School of Physical & Mathematical Sciences
College of Science
- PhD Victoria University of Wellington 2002
- MS Yangzhou University 1996
- BS Yangzhou University 1991
|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.|
|Theory and Models of Computation, Recursion Theory, Complexity Theory, Mathematical Logic|
|Research Grant |
- Academic Research Fund Tier 1 (2006-) [by MOE]
- Academic Research Fund Tier 1 (2010-)
- Academic Research Fund Tier 2 (2011-)
- Start Up Grant (2005-)
|Current Projects |
- Computability Theory, Effective Aspects of Analysis and Combinatorics
- Degree of Unsolvability and Algorithmic Randomness
- Local Structural Properties of the Enumeration Degrees
- On the Algebraic Structure of Computably Enumerable Turing Degrees
- 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. 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.