Prof. Ing. Tomáš Vojnar, Ph.D.

2016IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running
Research leader: Hruška Tomáš
 Přibližná ekvivalence pro aproximativní počítání, GACR, GA16-17538S, 2016-2018, running
Research leader: Vojnar Tomáš
2014Automatická analýza a verifikace transakčních pamětí, COST, LD14001, 2014, completed
Research leader: Vojnar Tomáš
 Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GACR, GA14-11384S, 2014-2016, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Realizace prototypů experimentálních softwarových nástrojů, RHcz, 2014, completed
Research leader: Vojnar Tomáš
 Runtime Verification beyond Monitoring (ARVI), COST, IC1402, IC1402, 2014-2018, running
Research leader: Kofroň Jan
Team leaders: Vojnar Tomáš
 Software Quality Improvement, RHcz, 2014-2016, running
Research leader: Vojnar Tomáš
 Spolehlivost a bezpečnost v IT, BUT, FIT-S-14-2486, 2014-2016, running
Research leader: Vojnar Tomáš
2013HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems, Artemis JU - Czech Ministry of Education, Youth and Sport support of participation in collaborative projects of Joint Technology Initiatives ARTEMIS and ENIAC, 7H13004, 332933, 2013-2016, running
Research leader: Herout Adam
Team leaders: Křena Bohuslav, Smrčka Aleš, Smrž Pavel, Vojnar Tomáš, Zemčík Pavel
 Inteligentní testování a analýza paralelních programů, MŠMT CR, LH13265, 2013-2015, completed
Research leader: Vojnar Tomáš
Team leaders: Křena Bohuslav
2012Podpora tvorby excelentních týmů mezioborového výzkumu na VUT, MŠMT CR, CZ.1.07/2.3.00/30.0005, 2012-2015, completed
Research leader: Urban Tomáš
Team leaders: Cumani Sandro, Černocký Jan, Letko Zdeněk, Vojnar Tomáš
 Verifikace a optimalizace počítačových systémů, BUT, FIT-S-12-1, 2012-2014, completed
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
2011Centrum excelence IT4Innovations, MŠMT CR, ED1.1.00/02.0070, 2011-2015, completed
Research leader: Hruška Tomáš, Vondrák Ivo
Team leaders: Černocký Jan, Češka Milan, Drahanský Martin, Fučík Otto, Hanáček Petr, Herout Adam, Kotásek Zdeněk, Meduna Alexander, Sekanina Lukáš, Smrž Pavel, Švéda Miroslav, Vojnar Tomáš, Zemčík Pavel, Zendulka Jaroslav
 Pokročilé bezpečné, spolehlivé a adaptivní 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
 Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed
Research leader: Lourenco Joao
Team leaders: Romano Paolo, Vojnar Tomáš
2010Automates et Logique pour la vérification symbolique de logiciels, BARRANDE, MEB021023, 2010-2011, completed
Research leader: Rogalewicz Adam
Team leaders: Iosif Radu
 Bezpečné, spolehlivé a adaptivní počítačové systémy, BUT, 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
 Práce se složitými datovými strukturami a paralelismem v prostředí 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š
 Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti, 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š
2009Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GACR, 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áš
 Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, completed
Research leader: Kuncak Viktor
Team leaders: Vojnar Tomáš
2008Techniques avancées pour la vérification de systémes a nombre d'états infini, BARRANDE, MEB 020840, 2008-2009, completed
Research leader: Vojnar Tomáš
Team leaders: Habermehl Peter
2007Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, 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áš
 Výzkum informačních technologií z hlediska bezpečnosti, 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
2006Formální verifikace programů pracujících s dynamickými datovými strukturami, FRVŠ MŠMT, FR3101/2006/G1, 2006, completed
Research leader: Erlebach Pavel
Team leaders: Vojnar Tomáš
 Počítačová učebna pro výuku modelování, simulace a geografických informačních systémů, FRVŠ MŠMT, FR2656/2006/Ab, 2006, completed
Research leader: Peringer Petr
Team leaders: Hrubý Martin, Kunovský Jiří, Vojnar Tomáš
 Podpora výuky pro formální verifikaci hardwaru, FRVŠ MŠMT, FR2978/2006/G1, 2006, completed
Research leader: Smrčka Aleš
Team leaders: Vojnar Tomáš
 SHADOWS - 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
 Vérification automatique de programmes avec structures de données dynamiques a pointeurs, BARRANDE, 2-06-27, 2006-2007, completed
Research leader: Vojnar Tomáš
Team leaders: Habermehl Peter
2005Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GACR, GD102/05/H050, 2005-2008, completed
Research leader: Češka Milan, Gruska Jozef
2004Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů, GACR, GA102/04/0780, 2004-2006, completed
Research leader: Češka Milan
Team leaders: Haša Luděk, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Rábová Zdeňka, Vojnar Tomáš
 Optická 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
2003Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů, GACR, GP102/03/D211, 2003-2006, completed
Research leader: Vojnar Tomáš
Team leaders: Češka Milan
2002Doktorský studijní program Informační technologie na VUT v Brně, FRVŠ MŠMT, FR1833/2002/F1, 2002, completed
Research leader: Češka Milan
Team leaders: Janoušek Vladimír, Vojnar Tomáš
2001ADVANCE -- Advanced Validation Techniques for Telecommunication Protocols, EU-5FP-IST, IST-1999-29082, 2001-2004, completed
Research leader: Bouajjani Ahmed
 Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GACR, 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
2000Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GACR, GA102/00/1017, 2000-2002, completed
Research leader: Češka Milan
Team leaders: Janoušek Vladimír, Rábová Zdeňka, Vojnar Tomáš
1999Temporální vlastnosti modelů popsaných objektově orientovanými Petriho sítěmi, FRVŠ MŠMT, FR1092/1999/G1, 1999-2000, completed
Research leader: Janoušek Vladimír
Team leaders: Vojnar Tomáš
 Výzkum informačních a řídicích systémů, CEZ MŠMT, MSM 262200012, 1999-2004, completed
Research leader: Honzík Jan M.
Team leaders: Češka Milan, Zendulka Jaroslav, Zezulka František
1994PNtalk - nástroje založené na objektově orientovaných Petriho sítích, BUT, 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: 54.81.38.107
Switch to IPv6 connection

DNSSEC [dnssec]