Výzkumná skupina formálních modelů

2023

Chytré informační technologie pro odolnou společnost, VUT v Brně - Vnitřní projekty VUT, FIT-S-23-8209, 2023-2025, řešení
Řešitel: Matoušek Petr
Spoluřešitelé: 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ák Adam, Hranický Radek, Hruška Tomáš, Hynek Jiří, Jeřábek Kamil, Ježík Andrej, John Petr, Katrňák Josef, Klembara Radovan, Kolář Dušan, Koutenský Michal, Kožár Tomáš, Křivka Zbyněk, 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

Metody AI pro zabezpečení kybernetického prostoru a řídicí systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-20-6293, 2020-2022, ukončen
Řešitel: Matoušek Petr
Spoluřešitelé: 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

Matematické základy teorie formálních jazyků, FRVŠ MŠMT - Fond rozvoje vysokých škol (FRVŠ), FR271/2012/G1, 2012, ukončen
Řešitel: Zemek Petr
Spoluřešitelé: Meduna Alexander, Vrábel Lukáš, Zemek Petr
Detail

2010

Bezkontextové gramatiky a zásobníkové automaty, MŠMT ČR - KONTAKT, MEB041003, 2010-2011, ukončen
Řešitel: Meduna Alexander
Spoluřešitelé: Čermák Martin, Koutný Jiří, Křivka Zbyněk, Meduna Alexander
Detail

2007

Inovativní přístup k projektům z oblasti překladačů, FRVŠ MŠMT, FR673/2007/G1, 2007, ukončen
Řešitel: Rychnovský Lukáš
Spoluřešitelé: Křivka Zbyněk, Meduna Alexander, Rychnovský Lukáš
Detail

Multi-Information Technologies, GAČR, GA201/07/0005, 2007-2009, ukončen
Řešitel: Meduna Alexander
Spoluřešitelé: Kolář Dušan, Lukáš Roman, Meduna Alexander
Detail

Výuka teoretické informatiky na mezinárodní úrovni EU, FRVŠ MŠMT, FR762/2007/G1, 2007, ukončen
Řešitel: Techet Jiří
Spoluřešitelé: Masopust Tomáš, Meduna Alexander, Techet Jiří
Detail

2006

Didaktické demonstrace modelů pro popis formálních jazyků, FRVŠ MŠMT, FR1909/2006/G1, 2006, ukončen
Řešitel: Křivka Zbyněk
Spoluřešitelé: Křivka Zbyněk, Lukáš Roman, Meduna Alexander
Detail

Virtuální laboratoř aplikace mikroprocesorové techniky, MŠMT ČR - Informační technologie pro znalostní společnost, 2C06008, 2006-2011, ukončen
Řešitel: Dulík Tomáš
Spoluřešitelé: 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

Inovace předmětů Funkcionální a logické programování a Postrelační databáze, FRVŠ MŠMT, FR1246/2005/F1, 2005, ukončen
Řešitel: Kolář Dušan
Spoluřešitelé: Kolář Dušan
Detail

2004

Optimally Integrated Models of Modern Information Technologies, GAČR, GA201/04/0441, 2004-2006, ukončen
Řešitel: Meduna Alexander
Spoluřešitelé: Kolář Dušan, Meduna Alexander
Detail