Homepage of Tomáš Brázdil

Tomš Bázdil
Assoc. Prof. RNDr. Tomáš Brázdil, Ph.D.

Department of Computer Science
Faculty of Informatics
Masaryk University
Brno, Czech Republic

Email: xbrazdil (for the rest see bottom of this page)

How to LaTeX my name: Tom\'{a}\v{s} Br\'{a}zdil

Research

Awards & Fellowships

Publications: DBLP

Memberships


Theses & surveys

Habilitation thesis (a short version: PDF)

Ph.D. thesis (PDF) (PS) (ERRATA)

Analyzing Probabilistic Pushdown Automata.
by T. Brázdil, J. Esparza, S. Kiefer, and A. Kučera. Formal Methods in System Design. 43(2):124-163. Springer, 2013. A semi-formal survey of the existing results and proof techniques. Comments are welcome. Preprint available as PDF.



Supervising students

Ph.D. thesis supervisor

Current students: Dominik Velan


Ph.D. thesis consultant (supervisor: Antonín Kučera)

Past students: Vojtěch Forejt, Václav Brožek, Jan Křetínský, Jan Krčál, Petr Novotný


Master's thesis advisor

Current students: Karol Kuna
Past students: David Klaška, Viktor Toman, Jan Sedlák, Martin Kučera, Matúš Abaffy, Petr Slovák, Jan Křetínský, Václav Brožek, Vojtěch Forejt

"at" fi.muni.cz