Department of Intelligent Systems

Projects and grants

Participant: From year:  Years:  Status: 
Name: Agency: 
  
2013Innovation of laboratory of chips security analysis, FRVŠ MŠMT, FR1239/2013/Aa, 2013, running
Research leader: Drahanský Martin
Team leaders: Fučík Otto, Hanáček Petr
 Innovation of the Complexity Theory class, FRVŠ MŠMT, FR0166/2013/G1, 2013, running
Research leader: Lengál Ondřej
Team leaders: Charvát Lukáš, Rogalewicz Adam
 Inovační voucher Zlínského kraje - UnArtel, KÚZK, InVo UnArtel 2013, 2013-2014, running
Research leader: Drahanský Martin
Team leaders: Hájek Josef
 Intelligent Testing and Analysis of Concurrent Software, MŠMT, LH13265, 2013-2015, running
Research leader: Vojnar Tomáš
Team leaders: Křena Bohuslav
 Verification of Infinite State Systems Based on Finite Automata, GAČR, GP202/13/37876P, 2013-2015, running
Research leader: Holík Lukáš
2012Application of functional verification in the digital circuits development process, FRVŠ MŠMT, FR1798/2012/G1, 2012, completed
Research leader: Lengál Ondřej
Team leaders: Kajan Michal, Kotásek Zdeněk
 Device for acquirement and recognition of eye iris and eye retina, MŠMT, ED3.1.00/13.0271, 2012-2015, running
Research leader: Drahanský Martin
Team leaders: Kolář Radim, Pisarská Marta, Provazník Ivo
 Efficient Application of Modern Taylor Series Methods to Stiff and High-Order Systems, MŠMT, Aktion-64p13, 2012-2013, running
Research leader: Kunovský Jiří
Team leaders: Kocina Filip, Šátek Václav, Vopěnka Václav
 Innovation voucher JIC - ADAPTIVITY, JIC, JIC-InVo-ADAPTIVITY-2012, 2012-2013, running
Research leader: Drahanský Martin, Hájek Josef
 Innovation voucher JIC - FreeTel, JIC, JIC-InVo-FreeTel-2012, 2012-2013, running
Research leader: Drahanský Martin, Hájek Josef
 Intelligent assistance systems: multisensor processing and reliability analysis, NATO, CBP.EAP.CLG 984, 2012, completed
Research leader: Yanushkevich Svetlana
Team leaders: Drahanský Martin, Dvořák Radim, Mráček Štěpán, Váňa Jan
 Recognition of persons and their behaviour in intelligent households, MŠMT, AKTION-FHV, 2012-2013, running
Research leader: Drahanský Martin
 St. Anne´s University Hospital in Brno - International Clinical Research Center, MŠMT, CZ.1.05/1.1.00/02.0123, 2012-2015, running
Team leaders: Drahanský Martin, Malčík Dominik, Mráček Štěpán
 Support of Interdisciplinary Excellence Research Teams Establishment at BUT, MŠMT, CZ.1.07/2.3.00/30.0005, 2012-2015, running
Research leader: Urban Tomáš
Team leaders: Cumani Sandro, Černocký Jan, Letko Zdeněk, Vojnar Tomáš
 Verification and Optimization of Computer Systems, VUT v Brně, FIT-S-12-1, 2012-2014, running
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Dudka Kamil, Fiedor Jan, Fučík Otto, Korček Pavol, Křena Bohuslav, Lengál Ondřej, Letko Zdeněk, Minárik Michal, Peringer Petr, Petrlík Jiří, Rogalewicz Adam, Sekanina Lukáš, Šimáček Jiří, Vašíček Zdeněk
 2.3 Spolupráce VUT v Brně se školami, MŠMT, RP2.3, 2012, completed
Research leader: Křena Bohuslav
2011Advanced secured, reliable and adaptive IT, VUT v Brně, FIT-S-11-1, 2011-2013, running
Research leader: Sekanina Lukáš
Team leaders: Barabas Maroš, Bartoš Pavel, Bidlo Michal, Češka Milan, Dittrich Petr, Dluhoš Ondřej, Doležel Michal, Drábek Vladimír, Drahanský Martin, Drozd Michal, Dudka Kamil, Dvořák Radim, Fajkus Jan, Fiedor Jan, Fučík Otto, Gach Marek, Grégr Matěj, Hájek Josef, Halfar Patrik, Henzl Martin, Herman David, Horáček Jan, Hrubá Vendula, Hrubý Martin, Janoušek Vladimír, Jurnečka Peter, Kačic Matej, Kadák Michal, Kadlček Filip, Kajan Michal, Kaštil Jan, Kněžík Jan, Kočí Radek, Konečný Filip, Korček Pavol, Kořenek Jan, Košař Vlastimil, Kreslíková Jitka, Křena Bohuslav, Kubát David, Kunovský Jiří, Lengál Ondřej, Letko Zdeněk, Lodrová Dana, Malačka Ondřej, Martínek Tomáš, Marvan Aleš, Matoušek Petr, Mičulka Lukáš, Michlovský Zbyněk, Minárik Michal, Minařík Miloš, Müller Petr, Nagy Jan, Novotňák Jiří, Novotný Tomáš, Očenášek Pavel, Orság Filip, Peringer Petr, Peterka Ondřej, Polčák Libor, Pospíchal Petr, Prívozník Michal, Puš Viktor, Ráb Jaroslav, Rogalewicz Adam, Růžička Richard, Ryšavý Ondřej, Schwarz Josef, Smrčka Aleš, Strnadel Josef, Stružka Jaroslav, Szöllös Alexandr, Šimáček Jiří, Šimek Václav, Švéda Miroslav, Tomec Martin, Trchalík Roman, Tříska Vít, Valenta Václav, Váňa Jan, Vašíček Zdeněk, Veselý Vladimír, Vojnar Tomáš, Zadina Martin, Zbořil František, Zbořil František V., Žádník Martin, Žák Jakub, Žaloudek Luděk
 Framework for student projects support in Biometric systems, FRVŠ MŠMT, FR2049/2011/G1, 2011, completed
Research leader: Váňa Jan
Team leaders: Doležel Michal, Drahanský Martin
 Innovation voucher JIC - GINA Software, JIC, JIC-InVo-GINA-2011, 2011, completed
Research leader: Drahanský Martin
Team leaders: Maršík Lukáš, Richter Jan
 Innovation voucher JIC - TBS Deutschland AG, JIC, JIC-InVo-TBS-2011, 2011, completed
Research leader: Drahanský Martin
Team leaders: Dvořák Radim, Marvan Aleš, Novotný Tomáš, Váňa Jan
 Pedagogické vzdělávání akademických pracovníků FIT VUT v Brně, MŠMT, RP2011-25/10, 2011, completed
Research leader: Křena Bohuslav
 Podpora spolupráce FIT VUT v Brně se základními a středními školami, RP MŠMT, RP2011-25/13, 2011, completed
Research leader: Křena Bohuslav
 Podpora talentovaných studentů na FIT VUT v Brně, RP MŠMT, RP2011-25/9, 2011, completed
Research leader: Hruška Tomáš
Team leaders: Křena Bohuslav, Růžička Richard, Zemčík Pavel
 SPAce exploration Research for Throatable Advanced eNgine (SPARTAN), EU-7FP-ICT, 7E11027, 2011-2013, completed
Research leader: Gaia Enrico, Pessana Mario
Team leaders: Drahanský Martin, Marvan Aleš, Popela Robert
 Support for practical training course Intelligent Sensors, FRVŠ MŠMT, FR2414/2011/G1, 2011, completed
Research leader: Hájek Josef
Team leaders: Dvořák Radim, Orság Filip
 The IT4Innovations Centre of Excellence, MŠMT, ED1.1.00/02.0070, 2011-2015, running
Research leader: Vondrák Ivo
Team leaders: Černocký Jan, Češka Milan, Drahanský Martin, Fučík Otto, Hanáček Petr, Herout Adam, Hruška Tomáš, Kotásek Zdeněk, Meduna Alexander, Sekanina Lukáš, Smrž Pavel, Švéda Miroslav, Vojnar Tomáš, Zemčík Pavel, Zendulka Jaroslav
2010Automata and Logic for Symbolic Verification of Software, BARRANDE, MEB021023, 2010-2011, completed
Research leader: Rogalewicz Adam
Team leaders: Iosif Radu
 Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, OC10009, 2010-2012, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 Robot for search of human beings in incrushes and avalanches, MV, VG20102014024, 2010-2014, running
Research leader: Drahanský Martin
Team leaders: Dvořák Radim, Hájek Josef, Herman David, Kněžík Jan, Kubát David, Marvan Aleš, Novotný Tomáš, Orság Filip, Stružka Jaroslav, Váňa Jan
 Robust & Safe Mobile Co-operative Autonomous Systems, Artemis JU, R3-COP, 2010-2013, completed
Research leader: Smrž Pavel
Team leaders: Beran Vítězslav
 Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GAČR, GAP103/10/0306, 2010-2013, running
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 Tools and Methods for Video and Image Processing for the Fight against Terrorism, MV, VG20102015006, 2010-2015, running
Research leader: Zendulka Jaroslav
Team leaders: Drahanský Martin, Zemčík Pavel
 Waste as raw material and energy source (WARMES) + Waste and Biomass Utilisation focused on Environment Protection and Energy Generation, MŠMT, 2B08048, 2010-2011, completed
Research leader: Stehlík Petr
Team leaders: Drahanský Martin, Hanáček Petr, Zbořil František
2009Automated attack processing, MPO ČR, FR-TI1/037, 2009-2013, running
Research leader: Švéda Miroslav
Team leaders: Barabas Maroš, Drahanský Martin, Drozd Michal, Hanáček Petr, Chmelař Petr, Orság Filip
 Developement of techniques for automatic verification of programs with dynamic data structures, GAČR, GP201/09/P531, 2009-2011, completed
Research leader: Rogalewicz Adam
 Information Technology in Biomedical Engineering, GAČR, GD102/09/H083, 2009-2012, completed
Research leader: Provazník Ivo
Team leaders: Bardoňová Jana, Drahanský Martin, Dušek Ladislav, Hanáček Petr, Holčík Jiří, Hřebíček Jiří, Kozumplík Jiří, Zemčík Pavel
 Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GAČR, GD102/09/H042, 2009-2012, completed
Research leader: Češka Milan
Team leaders: Bouda Jan, Brim Luboš, Černá Ivana, Dvořák Václav, Gruska Jozef, Hanáček Petr, Holub Petr, Hruška Tomáš, Kolář Dušan, Kotásek Zdeněk, Křena Bohuslav, Křetínský Mojmír, Kučera Antonín, Matyáš Václav, Matyska Luděk, Sekanina Lukáš, Vojnar Tomáš
 Multimedial and wireless extension intelligent electroinstallation INELS, MPO ČR, FR-TI1/392, 2009-2011, completed
Research leader: Drahanský Martin
Team leaders: Hájek Josef, Marvan Aleš, Orság Filip
 Network supporting university - enterprice collaboration in Southern Moravia, MŠMT, EE2.4.12.0017, 2009-2012, completed
Research leader: Rais Karel
Team leaders: Drahanský Martin, Eysselt Miloš, Honzík Jan M., Kreslíková Jitka, Oravcová Marcela
 Research and development of technologies for intelligent optical tracking systems, MPO ČR, FR-TI1/195, 2009-2012, completed
Research leader: Drahanský Martin
Team leaders: Orság Filip
 Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, running
Research leader: Kuncak Viktor
Team leaders: Vojnar Tomáš
 TeamIT - Building Competitive Research Teams in IT, MŠMT, EE2.3.09.0067, 2009-2012, completed
Research leader: Ryšavý Ondřej
Team leaders: Drahanský Martin, Herout Adam, Kořenek Jan, Matoušek Petr
2008Ground Truth Database for Finger Minutiae Data, BKA, GTD, 2008-2013, running
Research leader: Busch Christoph
Team leaders: Lodrová Dana
 Trusted Revocable Biometric Identities, EU-7FP-ICT, TURBINE, 2008-2011, completed
Research leader: Busch Christoph
Team leaders: Bours Patrick
2007Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, running
Research leader: Hruška Tomáš
Team leaders: Burget Lukáš, Burget Radek, Cvrček Daniel, Černocký Jan, Češka Milan, Drahanský Martin, Dvořák Václav, Fučík Otto, Hanáček Petr, Herout Adam, Hrubý Martin, Janoušek Vladimír, Jaroš Jiří, Kočí Radek, Kolář Dušan, Kořenek Jan, Kotásek Zdeněk, Kršek Přemysl, Křena Bohuslav, Kunovský Jiří, Martínek Tomáš, Masopust Tomáš, Matějka Pavel, Matoušek Petr, Meduna Alexander, Očenášek Pavel, Orság Filip, Růžička Richard, Ryšavý Ondřej, Sekanina Lukáš, Smrž Pavel, Strnadel Josef, Švéda Miroslav, Vojnar Tomáš, Zbořil František, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav
2005Brno University Security Laboratory, VUT v Brně, BUSLab, 2005-2050, stage running
Research leader: Cvrček Daniel, Hanáček Petr, Matyáš Václav, Říha Zdeněk, Staudek Jan
1991SIMLIB - Simulation Library for C++, FIT VUT, FIT-SIMLIB, 1991-2050, stage running
Research leader: Peringer Petr
Team leaders: Martinek David

Your IPv4 address: 54.242.188.217
Switch to IPv6 connection

DNSSEC [dnssec]