My photo

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 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