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 2016 I am a Rutherford Discovery fellow. From 2012 to 2015 I was a Turing Research fellow.

I am currently the logic editor of the Transactions of the AMS.

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