Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-1 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik |
| Keywords | Markov chain, verification, probabilistic pushdown automaton |
Aktuelle Kontaktadresse
| Land | Tschechische Republik |
|---|---|
| Ort | Brno |
| Universität/Institution | Masaryk University |
| Institut/Abteilung | Institute for Theoretical Computer Science |
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.02.2008 |
Programm(e)
| 2007 | Humboldt-Forschungsstipendien-Programm |
|---|