My photo

I am a researcher at the Institute of Mathematics CAS

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