Questions? AskAuckland
  

Professor Andre Otfrid Nies

Spanish, German, Portuguese

Biography

  • 2013 Professor, University of Auckland
  • 2009 Associate Professor, University of Auckland.
  • 2002-2009 Senior Lecturer, University of Auckland
  • 1995 -2001 Assistant Professor, University of Chicago
  • 1994 Visiting Professor, University of Wisconsin at Madison and Cornell
  • 1992 Assistant, University of Heidelberg

Research | Current

  • Quantum information
  • Computability theory
  • Complexity theory
  • Kolmogorov complexity
  • Algebra

Teaching | Current

Office Hours: by email appointment.

Distinctions/Honours

FRSNZ, 2010

Responsibilities

Logic and computation programme

Selected publications and creative works (Research Outputs)

  • Greenberg, N., Miller, J. S., & Nies, A. (2020). Computing from projections of random points. JOURNAL OF MATHEMATICAL LOGIC, 20 (1)10.1142/S0219061319500144
  • Nies, A., & Shafer, P. (2020). RANDOMNESS NOTIONS AND REVERSE MATHEMATICS. JOURNAL OF SYMBOLIC LOGIC, 85 (1), 271-299. 10.1017/jsl.2019.50
    URL: http://hdl.handle.net/2292/51611
  • Nies, A., & Scholz, V. B. (2019). Martin-Lof random quantum states. JOURNAL OF MATHEMATICAL PHYSICS, 60 (9)10.1063/1.5094660
  • Ben Yaacov, I., Doucha, M., Nies, A., & Tsankov, T. (2017). Metric Scott analysis. Advances in Mathematics, 318, 46-87. 10.1016/j.aim.2017.07.021
  • Nies, A., & Tent, K. (2017). Describing finite groups by short first-order sentences. Israel Journal of Mathematics, 221 (1), 85-115. 10.1007/s11856-017-1563-2
  • Bienvenu, L., Greenberg, N., Kucera, A., Nies, A., & Turetsky, D. (2016). Coherent randomness tests and computing the K-trivial sets. Journal of the European Mathematical Society, 18 (4), 773-812. 10.4171/JEMS/602
  • Brattka, V., Miller, J. S., & Nies, A. (2016). Randomness and differentiability. Transactions of the American Mathematical Society, 368 (1), 581-605. 10.1090/tran/6484
  • Monin, B., & Nies, A. (2015). A unifying approach to the Gamma question. Proceedings - Symposium on Logic in Computer Science, 585-596. Kyoto, Japan: IEEE. 10.1109/LICS.2015.60

Identifiers

Contact details

Office hours

By email appointment.

Primary office location

1-11 SHORT STREET - Bldg 810
Level 8, Room 847
1-11 SHORT ST
AUCKLAND CENTRAL
AUCKLAND 1010
New Zealand

Web links