Projects:

01/2020-12/2022 Verification and Control of Networked Discrete Event Systems (MŠMT INTER-EXCELLENCE project LTAUSA19098) @UPOL.cz
01/2019-12/2021 Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (Czech Science Foundation (GAČR) Grant GC19-06175J)
09/2017-12/2017 Modular and Decentralized Control of Discrete-Event and Hybrid Systems with Communication (Czech Science Foundation (GAČR) Grant GA15-02532S)
06/2016-08/2017 Understanding Wikidata Queries
03/2013-12/2015 Multi-level supervisory control (MUSIC) (MŠMT Kontakt II)
01/2011-12/2013 Decentralized and coordination supervisory control (GAČR post-doc grant)
12/2009-12/2011 Distributed Supervisory Control of Large Plants (DISC), postdoc (7th DISC Project Meeting)
01/2007-12/2009 Security-Oriented Research in Information Technology, researcher
2007 Teaching of Formal Language Theory at the International Level of EU, FR762/2007/G1
The results can be found here or here.