Gastgeber*innen während der Förderung
| Prof. Dr. Dr. Katrin Tent | Institut für Mathematische Logik und Grundlagenforschung, Universität Münster, Münster |
|---|
| Beginn der ersten Förderung | 01.05.2022 |
|---|
Projektbeschreibung der*des Nominierenden
| 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. |
