Projekty
-
2023
Chytré informační technologie pro odolnou společnost, VUT, Vnitřní projekty VUT, FIT-S-23-8209, 2023-2026, řešení
-
2020
Efektivní konečné automaty pro automatické usuzování, MŠMT, ERC CZ, LL1908, 2020-2024, řešení
Metody AI pro zabezpečení kybernetického prostoru a řídicí systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6293, 2020-2023, ukončen
-
2017
Moderní a otevřené studium techniky, EU, OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, řešení
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, VUT, Vnitřní projekty VUT, FIT-S-17-3964, 2017-2020, ukončen
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen
-
2014
Výzkum pokročilých metod ICT a jejich aplikace, VUT, Vnitřní projekty VUT, FIT-S-14-2299, 2014-2016, ukončen
-
2012
Centrum kompetence ve zpracování vizuálních informací (V3C), TAČR, Centra kompetence, TE01020415, 2012-2019, ukončen
-
2011
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, ukončen
Pokročilé rozpoznávání a prezentace multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-11-2, 2011-2013, ukončen
-
2010
Bezkontextové gramatiky a zásobníkové automaty, MŠMT, KONTAKT, MEB041003, 2010-2011, ukončen
Interaktivní podpora výuky funkcionálního a logického programování, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR2392/2010/G1, 2010, ukončen
Rozpoznávání a prezentace informací z multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, 2010, ukončen
-
2007
Inovativní přístup k projektům z oblasti překladačů, FR673/2007/G1, 2007, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení
-
2006
Didaktické demonstrace modelů pro popis formálních jazyků, FR1909/2006/G1, 2006, ukončen