Projects:
| 01/2020-12/2022 | Verification and Control of Networked Discrete Event Systems (VALERIE) (MŠMT INTER-EXCELLENCE project LTAUSA19098) |
| 01/2019-06/2022 | Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems (Czech Science Foundation (GAČR) Grant GC19-06175J; DFG site) |
| 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. |