Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Post Doc |
|---|---|
| Research fields | Theoretical Computer Science |
| Keywords | higher-order automata, recursion schemes, software verification, model-checking |
Current contact address
| Country | Germany |
|---|---|
| City | Garching |
| Institution | Technische Universität München |
| Institute | Fakultät für Informatik |
Host during sponsorship
| Prof. Dr. Javier Esparza | Fakultät für Informatik, Technische Universität München, Garching |
|---|---|
| Start of initial sponsorship | 01/07/2013 |
Programme(s)
| 2012 | Humboldt Research Fellowship Programme for Postdocs |
|---|