Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Post Doc |
|---|---|
| Fachgebiet | Mathematik |
| Keywords | constructive mathematics, type theory, program extraction, formalised mathematics, proof assistant |
Aktuelle Kontaktadresse
| Land | Deutschland |
|---|---|
| Ort | München |
Gastgeber*innen während der Förderung
| Prof. Dr. Helmut Schwichtenberg | Mathematisches Institut, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Beginn der ersten Förderung | 01.04.2017 |
Programm(e)
| 2016 | Humboldt-Forschungsstipendien-Programm für Postdocs |
|---|