Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre |
| Keywords | Recursion Theory, Coinductive Techniques, Computational Complexity |
Aktuelle Kontaktadresse
| Land | Australien |
|---|---|
| Ort | Canberra |
| Universität/Institution | Australian National University |
| Institut/Abteilung | School of Computing |
| Website | https://users.cecs.anu.edu.au/~dpattinson/ |
Gastgeber*innen während der Förderung
| Prof. Dr. Helmut Schwichtenberg | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Prof. Dr. Dieter Spreen | Fachbereich 6 - Mathematik, Universität Siegen, Siegen |
| Prof. Dr. Helmut Schwichtenberg | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), Muenchen |
| Beginn der ersten Förderung | 01.07.2014 |
Programm(e)
| 2013 | Humboldt-Forschungsstipendien-Programm für erfahrene Forschende |
|---|