Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Lecturer, Assistant Professor, Researcher |
|---|---|
| Research fields | Fundamentals of Mathematics, Logics, Set Theory |
| Keywords | Pi^1_n-reflection, Proof-theory, metapredicativity, non-monotone inductive definitions, ordinal analysis |
Current contact address
| Country | Switzerland |
|---|---|
| City | Bern |
| Institution | Universität Bern |
| Institute | Institut für Informatik und Angewandte Mathematik |
Host during sponsorship
| Prof. Dr. Wilfried Buchholz | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Start of initial sponsorship | 01/08/2009 |
Programme(s)
| 2009 | Humboldt Research Fellowship Programme for Postdocs |
|---|