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, tomas.masopust@mail.muni.cz, masopust@math.cas.cz
(Technical issue: I do not receive some messages with multiple recipients sent to @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 |