Andre Nies |

index

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 |

I am an editor for the Annals of Pure and Applied Logic. I invite submissions, at a level comparable to the level of the JSL.

With Katrin Tent and Eamonn O'Brien, organise a trimester programme

The summer school takes place September 10-14.

Overseas speakers: Marco Tomamichel (UTS, minicourse), Willem Fouche (Unisa), Anuradha Mahasinghe (University of Colombo). Marco's script and Marco's slides

Retreat with 8 participants at Calpulalpan de Mendez during Nov 30-Dec 4. Program.

Workshop on the occasion of Jouko Väänänen’s visit to New Zealand , April at the Research Centre Coromandel. Organised by Sebastian Link and André Nies. Pictures.

Retreat on computability theory and its applications , Feb 18-23 at the Research Centre Coromandel. Organised by Noam Greenberg and André Nies. Pictures.

Retreat and ARA Japan 2014, August 31- Sept 5, Fujinosato, Shizuoka prefecture. (Organized by K. Miyabe and A. Nies). Scientific Programme.

Algorithmic randomness and complexity 2014, Sept 8- 12, National Institute of Informatics, Shonan, Japan. (Organized by R. Downey, K. Miyabe, A. Nies, and O. Watanabe)

ARA South Africa 2014, Feb 10 and 11, Pretoria.

Analysis, Randomness and Applications (ARA) 2013, Nancy, France.

ARA 2011, Auckland (the first ARA)

Since 2010 I have been editing the logic blog. Ask me how to participate through a shared folder in the dropbox.

Current

2017 Logic Blog

2016 Logic Blog

2015 Logic Blog

2014 Logic Blog

2013 Logic Blog

2012 Logic Blog

2011 Logic Blog

2010 Logic Blog

The Logic Blog frontend managed by Dr. Rupert Hoelzl.

My book ''

Order at Amazon.

List of errata for the book (Jan 2013).

Status of open problems from the book (NEW! Oct 2017).

Since 2002 I have studied the interplay of

For an overview of work up to 2010 see Interactions of Computability and Randomness, Proceedings of the International Congress of Mathematicians, 2010.

For recent work see e.g. Coherent randomness tests and computing the K-trivial sets. With L. Bienvenu, N. Greenberg, A. Kucera, and D. Turetsky. J. European Math. Society 18 (2016), 773-812.

My recent interests include the connection of randomness to

I apply logical methods to algebraic structures, especially to groups. A recent paper in this direction: Describing finite groups by short first-order sentences. With Katrin Tent. Israel J. Mathematics, to appear.

I haved studied structures that can be described by

Describing Groups. Bull. Symb. Logic. 13 no 3 (2007), 305-339

Borel Structures: a brief survey (with A. Montalban, 2010). Effective Mathematics of the Uncountable, Lecture Notes in Logic 41 (2013), 124-134.

In earlier papers (1994-2003) I have investigated

For more detail see my publications.

Summary of past research up to 2010.

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: October 2017