Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Mathematical logic and foundations,General and overarching topics in Mathematics; collections,Group theory and generalizations |
| Keywords | computability theory, model theory, group theory, descriptive set theory, random structures |
| Honours and awards | 2020: Humboldt research award 2013: FRSNZ 2010: Invited section speaker at Int. Congr. Math |
Current contact address
| Country | New Zealand |
|---|---|
| City | Auckland |
| Institution | University of Auckland |
| Institute | School of Computer Science |
Host during sponsorship
| Prof. Dr. Dr. Katrin Tent | Institut für Mathematische Logik und Grundlagenforschung, Universität Münster, Münster |
|---|---|
| Start of initial sponsorship | 01/05/2022 |
Programme(s)
| 2020 | Humboldt Research Award Programme |
|---|
Nominator's project description
| Professor Nies is an expert works mainly in the field of mathematical logic and is . He is well known internationally for studying randomness properties of infinite sequences of bits using algorithmic tests. In the early 2000s, he Professor Nies obtained influential results connecting randomness to computational lowness properties of sets of natural numbers. More recently, he has studied algorithmic randomness for sequences of quantum bits. During his stay in Germany, he will carry out joint research on the connections of algebra and logic. |