School of Mathematics, Statistics and Operations Research,

Victoria University of Wellington

My main research interests are computability theory, algorithmic randomness, reverse mathematics, higher recursion theory, computable model theory, and set theory.

From 2011 until 2015 I am a Rutherford Discovery fellow. From 2012 to 2015 I am a Turing Research fellow.

I am currently the coordinating editor of the Journal of Symbolic Logic.

The proof that there are incomparable Turing degrees is really intended as a joke; there have been some misunderstandings.