Department of Intelligent Systems

Projects and grants

Participant: From year:  Years:  Status: 
Name: Agency: 
  
2012Application of functional verification in the digital circuits development process, FRVŠ MŠMT, FR1798/2012/G1, 2012, running
Research leader: Lengál Ondřej
Team leaders: Kajan Michal, Kotásek Zdeněk
 Intelligent assistance systems: multisensor processing and reliability analysis, NATO, CBP.EAP.CLG 984, 2012, running
Research leader: Yanushkevich Svetlana
Team leaders: Drahanský Martin, Dvořák Radim, Mráček Štěpán, Váňa Jan
 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
 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
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, 262837, 2011-2013, running
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, Kršek Přemysl, 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, running
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 Didactic Tool of Computer Hardware Course Innovation, FRVŠ MŠMT, FR2681/2010/G1, 2010, completed
Research leader: Šátek Václav
Team leaders: Kunovský Jiří, Sehnalová Pavla
 Founding a new course Game theory in MSc. study programs at FIT BUT, FRVŠ MŠMT, FR0110/2010/F1, 2010, completed
Research leader: Hrubý Martin
 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, running
Research leader: Smrž Pavel
Team leaders: Zemčík Pavel
 Secured, reliable and adaptive computer systems, VUT v Brně, FIT-S-10-1, 2010, completed
Research leader: Sekanina Lukáš
Team leaders: Bartoš Pavel, Češka Milan, Drábek Vladimír, Drahanský Martin, Dudka Kamil, Dvořák Radim, Dvořák Václav, Fiedor Jan, Gach Marek, Grégr Matěj, Holík Lukáš, Hrubý Martin, Hýsek Jiří, Janoušek Vladimír, Kajan Michal, Kaštil Jan, Kaštovský Petr, Kočí Radek, Konečný Filip, Korček Pavol, Kořenek Jan, Kraus Michal, Kreslíková Jitka, Křena Bohuslav, Křivánek Jan, Kunovský Jiří, Letko Zdeněk, Malinka Kamil, Martínek Tomáš, Matoušek Petr, Michlovský Zbyněk, Mikušek Petr, Nagy Jan, Orság Filip, Peterka Ondřej, Polóni Pavol, Pospíchal Petr, Puš Viktor, Ráb Jaroslav, Růžička Richard, Ryšavý Ondřej, Samek Jan, Sedláčková Jana, Sehnalová Pavla, Schäfer Jiří, Schwarz Josef, Slaný Karel, Slinták Jiří, Straka Martin, Strnadel Josef, Svojanovský Petr, Šátek Václav, Šimáček Jiří, Šimek Václav, Švéda Miroslav, Trchalík Roman, Vašíček Zdeněk, Veselý Vladimír, Vojnar Tomáš, Zadina Martin, Zbořil František, Zbořil František V., Žádník Martin, Žaloudek Luděk
 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š
 Support of education of Fundamentals of Artificial Intelligence and Soft-Computing courses, FRVŠ MŠMT, FR1613/2010/G1, 2010, completed
Research leader: Dvořák Radim
Team leaders: Drozdová Martina, Zbořil František V.
 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
 Use of authentication-security technologies for automation and enhancement of efectivity by selected processes in monitoring of object's state and movement, JIC, JIC-InVo-Siemens-2010, 2010, completed
Research leader: Drahanský Martin
Team leaders: Dittrich Petr, Hájek Josef, Hanáček Petr, Horáček Jan, Marvan Aleš, Procházka Boris, Zbořil František, Žák Jakub
 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
2009Adjustment of algorithms for 3D fingerprints, TBS, TBS-BL-2009, 2009-2010, completed
Research leader: Drahanský Martin
Team leaders: Dvořák Radim, Lodrová Dana
 Automated 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
 Finger veins recognition, Digitus, VEPA20092010, 2009-2010, completed
Research leader: Drahanský Martin
Team leaders: Dittrich Petr, Dvořák Radim, Krajíček Jiří, Lodrová Dana
 Information Technology in Biomedical Engineering, GAČR, GD102/09/H083, 2009-2012, running
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, running
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, running
Research leader: Rais Karel
Team leaders: Drahanský Martin, 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, running
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, running
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
2004Optická síť národního výzkumu a její nové aplikace, CESNET, MSM6383917201, 2004-2010, running
Research leader: Novotný Jiří
Team leaders: Čejka Rudolf, Fučík Otto, Kořenek Jan, Kršek Přemysl, Martínek Tomáš, Matoušek Petr, Pečenka Tomáš, Smrčka Aleš, Vojnar Tomáš, Zemčík Pavel
1994PNtalk - tools based on object-oriented Petri nets, FIT VUT, UIVT-PNtalk, 1994-2010, completed
Research leader: Janoušek Vladimír
Team leaders: Drabant Radek, Kočí Radek, Křena Bohuslav, Vojnar Tomáš

Your IPv4 address: 38.107.179.218
Switch to IPv6 connection

DNSSEC [dnssec]