Přístupnostní navigace
E-application
Search Search Close
Ing.
Ph.D.
FIT, DIFS – Assistant professor
+420 54114 1313krivka@fit.vut.cz
Send BUT message
2023
Chytré informační technologie pro odolnou společnost, zahájení: 01.03.2023, ukončení: 28.02.2026Detail
2020
Metody AI pro zabezpečení kybernetického prostoru a řídicí systémy, zahájení: 01.03.2020, ukončení: 28.02.2023Detail
LL1908, Efektivní konečné automaty pro automatické usuzování, zahájení: 01.01.2020, ukončení: 31.12.2024Detail
2017
Moderní a otevřené studium techniky, zahájení: 01.09.2017, ukončení: 31.12.2022Detail
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, zahájení: 01.03.2017, ukončení: 29.02.2020Detail
2016
LQ1602, IT4Innovations excellence in science, zahájení: 01.01.2016, ukončení: 31.12.2020Detail
2014
Výzkum pokročilých metod ICT a jejich aplikace, zahájení: 01.01.2014, ukončení: 31.12.2016Detail
2012
TE01020415, Centrum kompetence ve zpracování vizuálních informací (V3C), zahájení: 01.05.2012, ukončení: 31.12.2019Detail
2011
ED1.1.00/02.0070, The IT4Innovations Centre of Excellence, zahájení: 01.01.2011, ukončení: 31.12.2015Detail
Pokročilé rozpoznávání a prezentace multimediálních dat, zahájení: 01.01.2011, ukončení: 31.12.2013Detail
2010
Rozpoznávání a prezentace informací z multimediálních dat, zahájení: 01.04.2010, ukončení: 31.12.2010Detail
Interaktivní podpora výuky funkcionálního a logického programování, zahájení: 01.01.2010, ukončení: 31.12.2010Detail
MEB041003, Bezkontextové gramatiky a zásobníkové automaty, zahájení: 01.01.2010, ukončení: 31.12.2011Detail
2007
Inovativní přístup k projektům z oblasti překladačů, zahájení: 01.01.2007, ukončení: 31.12.2007Detail
MSM0021630528, Výzkum informačních technologií z hlediska bezpečnosti, zahájení: 01.01.2007, ukončení: 31.12.2013Detail
2006
2C06008, Virtuální laboratoř aplikace mikroprocesorové techniky, zahájení: 01.07.2006, ukončení: 30.06.2011Detail
Didaktické demonstrace modelů pro popis formálních jazyků, zahájení: 01.01.2006, ukončení: 31.12.2006Detail