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