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 |