Prof. André Nies
Department of Computer Science
University of Auckland
Private Bag 92019
+64-9-373 7599 ext.86645
Argentina-Japan-New Zealand workshop (AJNZ) 2013, December 2, Auckland.
Archived Page: Analysis, Randomness and Applications (ARA) 2013, Nancy, France.
Archived Page: ARA 2011, Auckland.
I am an editor for the Bulletin of Symbolic Logic. I invite the submission of carefully worked survey articles or research articles.
I am also an editor for the Annals of Pure and Applied Logic. I invite submissions, at a level comparable to the level of the JSL.
1) Computability theory.
In earlier papers (1994-2003) I have investigated degree structures using model theoretic methods.
See my habilitation thesis Coding
Methods in computability theory and complexity theory for a summary.
2002-2013 I have studied the interplay of computability and randomness. For an overview of work up to 2010 see
Interactions of Computability and Randomness, Proceedings of the International Congress of Mathematicians, 2010. For details see my
My recent interests include the connection of randomness to set theory, and reverse mathematics.
I also work on invariant descriptive set theory, in particular for Polish metric spaces.
2) Algebra and automatic structures.
I apply logical methods especially to groups, and study structures that can be described
by automata, or via Borel relations.
See my survey papers:
Describing Groups. Bull. Symb. Logic. 13 no 3 (2007), 305-339
Borel Structures: a brief survey   (with A. Montalban). To appear in Effective Mathematics of the Uncountable (EMU), Oct. 2013.
Summary of past research.
2010 Logic Blog
2011 Logic Blog
2012 Logic Blog.
2013 Logic Blog.
Ask me how to participate through the dropbox.
My book ''Computability and Randomness'' was published by Oxford University Press Jan 29, 2009. The revised paperback version was published March 2012.
Order at Amazon UK or Amazon US.
Alternatively, order from the publisher: here from Europe, or here from the US.
List of errata for the book (Jan 2013).
open problems from the book (May 2011).
Randomness and computability: Open questions. Version of June 30, 2007 with list of results obtained so far.
Published in Bull. Symb. Logic. 12 no 3 (2006) 390-410.
Joint with Joe Miller.
Last modified: Feb 13, 2013