Andre Nies


Picture of Andre Nies
  Andre 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


Meeting Analysis and Randomness in Auckland.  December 12-13, 2011.

Logic Blog 2011.  Ask me how to participate. See here for the final 2010 Logic Blog.

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.

I am the chair of the membership committee the Association for Symbolic Logic (ASL). To become a member go to the ASL website.   Please direct any questions on membership to me.


My CV. 

Summary of past research. 

Interactions of Computability and Randomness. Proceedings of the International Congress of Mathematicians, 2010. 

My book ''Computability and Randomness'' was published by Oxford University Press Jan 29, 2009.

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 (May 2011).
Status of open problems from the book.

Research interests:

1) Computability theory.

In earlier papers (1994-2003) I have investigated degree structures using model theoretic methods. See Coding Methods   in Computability Theory and Complexity Theory for a summary.

In recent years (2002-2008) I have studied the interplay of computability and randomness.

My 2005 survey paper Eliminating concepts.

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. 

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.  




Last modified: July 22, 2011