I am currently an assistant professor at Faculty of Information Technology, Brno University of Technology, Czech Republic.

Research Interests

• Theoretical computer science
• Logic and automata
• Formal verification and analysis