Running projects:

01/2011-12/2013 Decentralized and coordination supervisory control (GAČR post-doc grant)
12/2009-12/2011 Distributed Supervisory Control of Large Plants, postdoc

Finished projects:

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.