I am a post-doc at the Institute of Mathematics of the Czech Academy of Sciences.
Address: Žižkova 22, 616 62 Brno, Czech Republic
Room: Unknown
Phone: Unknown
Fax: +420-541 218 657
E-mail:
masopust@ipm.cz or
masopust@math.cas.cz
At present, I am a post-doc at the Centrum Wiskunde en Informatica (CWI), Amsterdam, the Netherlands.
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, non-classical models of computation. |
Furhter 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. |