Projekty
-
2023
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, řešení
-
2022
Transformace formy a obsahu vzdělávání na Vysokém učení technickém v Brně, MŠMT, Výzva pro VŠ v rámci NPO, 2022-2024, řešení
-
2020
Spolehlivé, bezpečné a efektivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-20-6427, 2020-2023, ukončen
-
2017
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, 2017-2020, ukončen
Moderní a otevřené studium techniky, EU, OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, řešení
-
2016
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, ukončen
-
2014
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, 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é bezpečné, spolehlivé a adaptivní IT, VUT, Vnitřní projekty VUT, FIT-S-11-1, 2011-2013, ukončen
-
2010
Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, ukončen
Podpora výuky předmětů Základy umělé inteligence a Soft Computing, MŠMT, Fond rozvoje vysokých škol (FRVŠ), FR1613/2010/G1, 2010, ukončen
-
2008
Laboratoř interakce člověka s počítačem, FR0274/2008/Aa, 2008, ukončen
-
2007
Inovace laboratoře inteligentních systémů, FR1743/2007/A, 2007, ukončen
Podpora výuky předmětu Inteligentní systémy, FR2286/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
Mobilní autonomní robot, FR2818/2006/G1, 2006-2007, ukončen
-
2004
Laboratoř inteligentních systémů, FR1688/2004/A, 2004, ukončen
-
2003
Biometrické bezpečnostní systémy, FR0835/2003/G1, 2003, ukončen
-
2002
Inteligentní systémy - příprava předmětu, FR1834/2002/F1, 2002, ukončen
InterpRISe - meziregionální spolupráce pro podporu regionálních inovačních strategií v Evropě, Phare 00-0047, 2002, ukončen
-
2001
Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu, GAČR, Standardní projekty, GA102/01/1531, 2001-2003, ukončen
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, 2001-2003, ukončen
-
1998
Metodika a prostředky pro analýzu testovatelnosti digitálních obvodů, GAČR, Standardní projekty, GA102/98/1463, 1998-2006, ukončen