Running projects:
| 03/2013-12/2015 | Multi-level supervisory control (MŠMT Kontakt II) |
| 01/2011-12/2013 | Decentralized and coordination supervisory control (GAČR post-doc grant) |
Finished projects:
| 12/2009-12/2011 | Distributed Supervisory Control of Large Plants, 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. |