Formal Model Research Group

Projects

2012Mathematical Foundations of Formal Language Theory, FRVŠ MŠMT, FR271/2012/G1, 2012, running
Research leader: Zemek Petr
Team leaders: Meduna Alexander, Vrábel Lukáš
2010Context-free languages and pushdown automata, MŠMT, MEB041003, 2010-2011, completed
Research leader: Meduna Alexander
2007Inovative 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
2006Virtual Laboratory of Microprocessor Technology Application, MŠMT, 2C06008, 2006-2011, completed
Research leader: Dulík Tomáš
Team leaders: Kadlec Jiří, Kolář Dušan

Your IPv4 address: 38.107.179.218
Switch to IPv6 connection

DNSSEC [dnssec]