Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Post Doc |
|---|---|
| Fachgebiet | Theoretische Informatik |
| Keywords | higher-order automata, recursion schemes, software verification, model-checking |
Aktuelle Kontaktadresse
| Land | Deutschland |
|---|---|
| Ort | Garching |
| Universität/Institution | Technische Universität München |
| Institut/Abteilung | Fakultät für Informatik |
Gastgeber*innen während der Förderung
| Prof. Dr. Javier Esparza | Fakultät für Informatik, Technische Universität München, Garching |
|---|---|
| Beginn der ersten Förderung | 01.07.2013 |
Programm(e)
| 2012 | Humboldt-Forschungsstipendien-Programm für Postdocs |
|---|