Faculty of Information Technology, BUT

Formal Model Research Group

Projects

  • 2012

    Mathematical Foundations of Formal Language Theory, FRVŠ MŠMT, FR271/2012/G1, 2012, completed
    Research leader: Zemek Petr
    Team leaders: Meduna Alexander, Vrábel Lukáš, Zemek Petr
    Detail

  • 2010

    Context-free languages and pushdown automata, MŠMT CR, MEB041003, 2010-2011, completed
    Research leader: Meduna Alexander
    Team leaders: Čermák Martin, Koutný Jiří, Křivka Zbyněk, Meduna Alexander
    Detail

  • 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, Rychnovský Lukáš
    Detail

    Multi-Information Technology, GACR, GA201/07/0005, 2007-2009, completed
    Research leader: Meduna Alexander
    Team leaders: Kolář Dušan, Lukáš Roman, Meduna Alexander
    Detail

    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, Techet Jiří
    Detail

  • 2006

    Didactic Demonstration of Formal Language Models, FRVŠ MŠMT, FR1909/2006/G1, 2006, completed
    Research leader: Křivka Zbyněk
    Team leaders: Křivka Zbyněk, Lukáš Roman, Meduna Alexander
    Detail

    Virtual Laboratory of Microprocessor Technology Application, MŠMT CR, 2C06008, 2006-2011, completed
    Research leader: Dulík Tomáš
    Team leaders: Bližňák Michal, Budíková Věra, Dulík Tomáš, Jirák Ota, Kadlec Jiří, Kolář Dušan, Křivka Zbyněk, Meduna Alexander, Olšarová Nela, Trbušek Josef, Vašíček Zdeněk
    Detail

  • 2005

    Innovation of Courses: Post-Relational Database Systems, Functional and Logic Programming, FRVŠ MŠMT, FR1246/2005/F1, 2005, completed
    Research leader: Kolář Dušan
    Team leaders: Kolář Dušan
    Detail

  • 2004

    Optimally Integrated Models of Modern Information Technologies, GACR, GA201/04/0441, 2004-2006, completed
    Research leader: Meduna Alexander
    Team leaders: Kolář Dušan, Meduna Alexander
    Detail

Back to top