Dr. Ing. Petr Peringer

2012Verification 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
2010Dealing 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š
 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š
2009Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, running
Research leader: Kuncak Viktor
Team leaders: Vojnar Tomáš
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
2006Computer classroom for modelling, simulation and GIS, FRVŠ MŠMT, FR2656/2006/Ab, 2006, completed
Research leader: Peringer Petr
Team leaders: Hrubý Martin, Kunovský Jiří, Vojnar Tomáš
2004Information system security - research of attacks on tamper-resistant cryptographic hardware, GAČR, GA102/04/0871, 2004-2006, completed
Research leader: Hanáček Petr
Team leaders: Cvrček Daniel, Hrubý Martin, Hruška Tomáš, Peringer Petr, Rábová Zdeňka
2003Modelling and Simulation for master's degree program, FRVŠ MŠMT, FR0821/2003/F1, 2003, completed
Research leader: Rábová Zdeňka
Team leaders: Hanáček Petr, Peringer Petr
2001Environment for Development, Modelling, and Application of Heterogeneous Systems, GAČR, GA102/01/1485, 2001-2003, completed
Research leader: Vavřín Petr
Team leaders: Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav, Kunovský Jiří, Malec Zdeněk, Peringer Petr, Pivoňka Petr, Rábová Zdeňka, Václavek Pavel, Vojnar Tomáš, Zbořil František
2000Year project as a first independent student work, FRVŠ MŠMT, FR1621/2000/F1, 2000, completed
Research leader: Rábová Zdeňka
Team leaders: Hanáček Petr, Peringer Petr
1999Research in information and control systems, CEZ MŠMT, MSM 262200012, 1999-2004, completed
Research leader: Honzík Jan M.
Team leaders: Češka Milan, Zendulka Jaroslav, Zezulka František
1998Research and Applications of Heterogenous Models, GAČR, GA102/98/0552, 1998-2000, completed
Research leader: Vavřín Petr
Team leaders: Češka Milan, Hanáček Petr, Hruška Tomáš, Janoušek Vladimír, Jirsík Václav, Jura Pavel, Marušinec Jaromír, Pavlíčková Jiřina, Peringer Petr, Pivoňka Petr, Přikryl Petr, Rábová Zdeňka, Šolc František, Zbořil František

Your IPv4 address: 38.107.179.216
Switch to IPv6 connection

DNSSEC [dnssec]