Prof. André Nies
Department of Computer Science
University of Auckland
Private Bag 92019
+64-9-373 7599 ext.86645
Analysis, Randomness and Applications (ARA) 2013 will take place June 27 and 28, 2013 in Nancy, France.
Archived Page: ARA 2011.
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.
In recent years (2002-2012) 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
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 EMU proceedings.
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.
My 2005 survey paper Eliminating concepts.
Last modified: Feb 13, 2013