Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Lecturer, Assistant Professor, Researcher |
|---|---|
| Research fields | Theoretical Computer Science |
| Keywords | Markov chain, verification, probabilistic pushdown automaton |
Current contact address
| Country | Czech Republic |
|---|---|
| City | Brno |
| Institution | Masaryk University |
| Institute | Institute for Theoretical Computer Science |
Host during sponsorship
| Prof. Dr. Javier Esparza | Fakultät für Informatik, Technische Universität München, Garching |
|---|---|
| Start of initial sponsorship | 01/02/2008 |
Programme(s)
| 2007 | Humboldt Research Fellowship Programme |
|---|