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
Git: local git repository
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

Editorial Boards:

2021- JDEDS - Discrete Event Dynamic Systems: Theory and Applications
2013- Kybernetika
2009-2013 International Journal of Computational Mathematics

Program Committees:

2024 WODES 2024 Workshop on Discrete Event Systems
2023 IFAC WC 2023 IFAC World Congress 2023
FCT 2023 International Symposium on Fundamentals of Computation Theory
2022 ECC 2022 European Control Conference
WODES 2022 Workshop on Discrete Event Systems
2021 ECC 2021 European Control Conference
DLT 2021 Developments in Language Theory
2020 ECC 2020 European Control Conference
2019 SOFSEM 2019 International Conference on Current Trends in Theory and Practice of Computer Science
ECC 2019 European Control Conference
DCFS 2019 International Conference on Descriptional Complexity of Formal Systems
2017 DCFS 2017 Descriptional Complexity of Formal Systems
NCMA 2017 Non-Classical Models of Automata and Applications
2015 OrdRing 2015 4th International Workshop on Ordering and Reasoning
2014 OrdRing 2014 3rd International Workshop on Ordering and Reasoning
ETFA 2014 19th IEEE International Conference on Emerging Technologies and Factory Automation
2011 DCFS 2011 13th International Workshop on Descriptional Complexity of Formal Systems

Organizing Committees:

2022 WODES 2022 Workshop on Discrete Event Systems
2006 MEMICS 2006 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science