My photo

I am a researcher at the Institute of Mathematics CAS

Address: Žižkova 22, 616 62 Brno, Czech Republic
Room: 601
Phone: +420 222 090 785
Fax: +420 541 218 657

Research interests:

Automata theory - Complexity theory - Cyber-physical systems - Databases - Discrete event systems - Petri nets - Systems and control

Further interests:

Theoretical CS: System verification and model checking, modal logic, graph algorithms, combinatorics on words, parallel and distributed systems.
Mathematics: Algebra, discrete mathematics, graph theory, mathematical logic, number theory, set theory.