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

** E-mail: ** masopust@math.cas.cz

orcid.org/0000-0001-9282-758X

### 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. |