I am a post-doc at the Institute of Mathematics of the Academy of Sciences of the Czech Republic.
Address: Žižkova 22, 616 62 Brno, Czech Republic
Room: 611
Phone: +420 532 290 376 or +420 222 090 784
Fax: +420-541 218 657
E-mail:
masopust@ipm.cz or
masopust@math.cas.cz
Research interests:
| Control Theory: | Discrete event systems, supervisory control, coordination control, distributed control, hierarchical control. |
| Theoretical CS: | Automata and formal languages, descriptional and computational complexity, foundations of computation, non-classical models of computation. |
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. |