
I am Associate Professor at the Department of Computer Science, Faculty of Science, Palacky University Olomouc
Address: 17. listopadu 1192/12, 779 00 Olomouc, Czechia
Room: 5.045
Phone: +420 585 634 720
E-mail: tomas.masopust@upol.cz
Web: inf.upol.cz/lide/tomas-masopust
Group: DES-TCS Group at UPOL
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 |