Running projects:
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) |
Finished projects:
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. |