My photo

I am a researcher at the Institute of Mathematics CAS

Address: Žižkova 22, 616 62 Brno, Czech Republic
Room: 602
Phone: +420 222 090 792
Fax: +420 541 218 657
E-mail: masopust@math.cas.cz

Research interests:

Automata theory - Complexity theory - Discrete event systems - Supervisory 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.