I am a senior researcher at the Institute of Mathematics of the Czech Academy of Sciences

** Address: ** Žižkova 22, 616 62 Brno, Czechia

** 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 - Verification and model checking |

### Further interests:

Theoretical CS:
| Modal logic - graph algorithms - combinatorics on words - parallel and distributed systems |

Mathematics:
| Algebra - discrete mathematics - graph theory - logic - number theory - set theory |