Formal Model Research Group
Projects
| 2012 | Mathematical Foundations of Formal Language Theory, FRVŠ MŠMT, FR271/2012/G1, 2012, running
Research leader: Zemek Petr
Team leaders: Meduna Alexander, Vrábel Lukáš |
| 2010 | Context-free languages and pushdown automata, MŠMT, MEB041003, 2010-2011, completed
Research leader: Meduna Alexander |
| 2007 | Inovative Approach to the Compiler Projects, FRVŠ MŠMT, FR673/2007/G1, 2007, completed
Research leader: Rychnovský Lukáš
Team leaders: Křivka Zbyněk, Meduna Alexander |
| | Multi-Information Technology, GAČR, GA201/07/0005, 2007-2009, completed
Research leader: Meduna Alexander
Team leaders: Kolář Dušan, Lukáš Roman |
| | Teaching of Formal Language Theory at the International Level of EU, FRVŠ MŠMT, FR762/2007/G1, 2007, completed
Research leader: Techet Jiří
Team leaders: Masopust Tomáš, Meduna Alexander |
| 2006 | Virtual Laboratory of Microprocessor Technology Application, MŠMT, 2C06008, 2006-2011, completed
Research leader: Dulík Tomáš
Team leaders: Kadlec Jiří, Kolář Dušan |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)