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