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