Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Grundlagen der Mathematik, Logik, Mengenlehre,Theoretische Informatik |
| Keywords | computable model theory, algorithmic game theory, algorithms, automatic structures |
Aktuelle Kontaktadresse
| Land | Neuseeland |
|---|---|
| Ort | Auckland |
| Universität/Institution | University of Auckland |
| Institut/Abteilung | School of Computer Science |
Gastgeber*innen während der Förderung
| Prof. Dr. Klaus Ambos-Spies | Institut für Mathematik, Ruprecht-Karls-Universität Heidelberg, Heidelberg |
|---|---|
| Prof. Dr. Markus Lohrey | Fachbereich 12 - Elektrotechnik und Informatik, Universität Siegen, Siegen |
| Beginn der ersten Förderung | 01.08.2002 |
Programm(e)
| 2001 | Humboldt-Forschungsstipendien-Programm |
|---|---|
| 2019 | Forschungspreis-Programm auf Gegenseitigkeit für Wissenschaftler*innen aus dem Ausland |
Projektbeschreibung der*des Nominierenden
| Professor Khoussainov is well known internationally for his outstanding research in computable model theory and logic in computer science. He is a co-founder of the theory of automatic structures and combines techniques from a large variety of areas, including logic, recursion theory, automata theory and algorithmics. During his stay in Germany, he intends to work on automatic structures, algorithmic randomness and game theory. |