I am Assistant Professor at Dept. of Computer Science, Palacky University, Olomouc

I am a researcher at the Institute of Mathematics CAS (since Sept. 2018 on leave)

** 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

### Supervision:

I am looking for PhD students interested in the following topics. Prospective candidates are encouraged to contact me. |

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