Projekty

  • 2023

    ROULETTE - Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR - Standardní projekty, GA23-07565S, 2023-2025, řešení
    Řešitel: Lengál Ondřej
    Spoluřešitelé: Andriushchenko Roman, Češka Milan, Dacík Tomáš, Gaďorek Petr, Havlena Vojtěch, Hečko Michal, Chocholatý David, Lengál Ondřej, Malásková Věra, Michal Bohumil, Mrazíková Libuše, Nesvedová Šárka, Pirová Zuzana, Rogalewicz Adam, Šedý Michal, Šmahlíková Barbora, Valová Marie, Vašíček Ondřej, Ventrubová Hana
    Detail

    VESCAA: Verifikovatelná a efektivní syntéza kontrolerů, GAČR - Standardní projekty, GA23-06963S, 2023-2025, řešení
    Řešitel: Češka Milan
    Spoluřešitelé: Andriushchenko Roman, Češka Milan, Gaďorek Petr, Hudák David, Macák Filip, Malásková Věra, Mrázek Vojtěch, Nesvedová Šárka, Oravcová Marcela, Paulíková Barbora, Štanclová Eva, Štursová Markéta, Ventrubová Hana
    Detail

  • 2020

    Efektivní konečné automaty pro automatické usuzování, MŠMT ČR - ERC CZ, LL1908, 2020-2024, řešení
    Řešitel: Holík Lukáš
    Spoluřešitelé: Blahoudek František, Češka Milan, Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Holíková Lenka, Homoliak Ivan, Horký Michal, Hošták Viliam Samuel, Hruška Martin, Jawed Soyiba, Kesiraju Michaela, Křivka Zbyněk, Lengál Ondřej, Macák Filip, Martiček Štefan, Meduna Alexander, Rogalewicz Adam, Síč Juraj, Slezáková Alexandra, Smrčka Aleš, Šedý Michal, Šoková Veronika, Toth Vaňo Pavol, Vojnar Tomáš
    Detail

Nahoru