Andre Nies


Picture of Andre Nies
  Prof. André Nies
  Department of Computer Science
  University of Auckland
  Private Bag 92019
  Auckland
  New Zealand

  andre_at_cs_dot_auckland_dot_ac_dot_nz

  +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.

Research interests:

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 publications.

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.  


My CV. 

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).
Status of 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