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.
I am currently teaching a course on elliptic curves.
It is time to register for the 12th Asian Logic Conference.
The proof that there are incomparable Turing degrees is really intended as a joke; there have been some misunderstandings.