Ing. Aleš Smrčka, Ph.D.

2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 737475, 2017-2020, running
Research leader: Robinson Charles
Team leaders: Vojnar Tomáš
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, 17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
2016Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, running
Research leader: Holík Lukáš
 IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running
Research leader: Hruška Tomáš
2014Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, running
Research leader: Kofroň Jan
Team leaders: Vojnar Tomáš
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
2013HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems, Artemis JU, 7H13004, 332933, 2013-2016, completed
Research leader: Herout Adam
Team leaders: Křena Bohuslav, Smrčka Aleš, Smrž Pavel, Vojnar Tomáš, Zemčík Pavel
2011Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed
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, Dudka Vendula, 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ý 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
2010Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT CR, OC10009, 2010-2012, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
 Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan, Křena Bohuslav, Peringer Petr, Rogalewicz Adam, Smrčka Aleš
2009Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, completed
Research leader: Kuncak Viktor
Team leaders: Vojnar Tomáš
2008Advanced Methods for Automatic Verification of Infinite-state Systems, BARRANDE, MEB 020840, 2008-2009, completed
Research leader: Vojnar Tomáš
Team leaders: Habermehl Peter
2007Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, GA102/07/0322, 2007-2009, completed
Research leader: Češka Milan
Team leaders: Cerhák Michal, Erlebach Pavel, Holík Lukáš, Janoušek Vladimír, Kironský Elöd, Kočí Radek, Křena Bohuslav, Polášek Petr, Rogalewicz Adam, Smrčka Aleš, Vojnar Tomáš
 Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed
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
2006Podpora výuky pro formální verifikaci hardwaru, FRVŠ MŠMT, FR2978/2006/G1, 2006, completed
Research leader: Smrčka Aleš
Team leaders: Vojnar Tomáš
 A Self-Healing Approach to Designing Complex Software Systems, EC EU, 2006-2009, completed
Research leader: Křena Bohuslav
Team leaders: Kočí Radek, Vojnar Tomáš, Zbořil František
2004Optická síť národního výzkumu a její nové aplikace, CEZ MŠMT, MSM6383917201, 2004-2010, completed
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

Your IPv4 address: 54.224.41.46
Switch to IPv6 connection

DNSSEC [dnssec]