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