Formal Model Research Group

Projects

  • 2023

    Smart information technology for a resilient society, BUT, FIT-S-23-8209, 2023-2025, running
    Research leader: Matoušek Petr
    Team leaders: Anderson Enock, Baláž Miroslav, Bartík Vladimír, Berezný Matej, Borko Simeon, Burget Radek, Burgetová Ivana, Dolejška Daniel, Eliáš Radoslav, Formánková Klára, Grégr Matěj, Havel Martin, Horáček Pavel, Horák Adam, Hranický Radek, Hruška Tomáš, Hynek Jiří, Janošík Adam, Jeřábek Kamil, Ježík Andrej, John Petr, Katrňák Josef, Kičinka Kristián, Klembara Radovan, Kolář Dušan, Korvas Václav, Koutenský Michal, Kožár Tomáš, Křivka Zbyněk, Kuzník Jakub, Lazúr Juraj, Maštera František, Matoušek Petr, Meduna Alexander, Musil Miloš, Mutua Nelson Makau, Nejedlý Dominik, Polčák Libor, Poliakov Daniel, Polišenský Jan, Rader Roman, Rosinská Monika, Rychlý Marek, Ryšavý Ondřej, Tomko Martin, Veselý Vladimír, Zaklová Kristýna, Zavřel Jan
    Detail

  • 2020

    Application of AI methods to cyber security and control systems, BUT, FIT-S-20-6293, 2020-2022, completed
    Research leader: Matoušek Petr
    Team leaders: Bartík Vladimír, Beníčková Zuzana, Burget Radek, Burgetová Ivana, Dvořák Tomáš, Grégr Matěj, Grofčík Peter, Hon Jiří, Hranický Radek, Hruška Tomáš, Hynek Jiří, Imeri Arbnor, Jeřábek Kamil, Klobučníková Dominika, Kocman Radim, Kolář Dušan, Koutenský Michal, Kövári Adam, Krajč Patrik, Kreslíková Jitka, Křivka Zbyněk, Květoňová Šárka, Martínek Tomáš, Masárová Mária, Matoušek Petr, Meduna Alexander, Musil Miloš, Mutua Nelson Makau, Pastushenko Olena, Polčák Libor, Pristaš Ján, Regéciová Dominika, Rudnitckaia Julia, Rychlý Marek, Ryšavý Ondřej, Škarvada Libor, Tomko Martin, Večeřa Vojtěch, Veselý Vladimír, Victor Malombe, Vondráček Martin, Youssef Sawsan, Zendulka Jaroslav, Zobal Lukáš
    Detail

  • 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