Projects
-
2023
Chytré informační technologie pro odolnou společnost, BUT, Vnitřní projekty VUT, FIT-S-23-8209, 2023-2026, running
-
2020
Efficient Finite Automata for Automated Reasoning, MŠMT, ERC CZ, LL1908, 2020-2024, running
Metody AI pro zabezpečení kybernetického prostoru a řídicí systémy, BUT, Vnitřní projekty VUT, FIT-S-20-6293, 2020-2023, completed
-
2017
Moderní a otevřené studium techniky, EU, OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, running
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, BUT, Vnitřní projekty VUT, FIT-S-17-3964, 2017-2020, completed
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed
-
2014
Výzkum pokročilých metod ICT a jejich aplikace, BUT, Vnitřní projekty VUT, FIT-S-14-2299, 2014-2016, completed
-
2012
V3C - Visual Computing Competence Center, TAČR, Centra kompetence, TE01020415, 2012-2019, completed
-
2011
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, 2011-2013, completed
The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, completed
-
2010
Context-free languages and pushdown automata, MŠMT, KONTAKT, MEB041003, 2010-2011, completed
Interactive support for teaching functional and logic programming, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR2392/2010/G1, 2010, completed
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, 2010, completed
-
2007
Inovative Approach to the Compiler Projects, FR673/2007/G1, 2007, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
-
2006
Didactic Demonstration of Formal Language Models, FR1909/2006/G1, 2006, completed