Ing. Ondřej Lengál, Ph.D.

Projects

2019AUFOVER - AuFoVer - Automated Formal Verification, TACR, TH04010192, 2019-2021, running
Research leader: Kratochvíla Tomáš
Team leaders: Smrčka Aleš
 AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, running
Research leader: Holík Lukáš
Team leaders: Strejček Jan
 Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, running
Research leader: Vojnar Tomáš
 Flexible probe for lawful interceptions, MV CR, 2019-2022, running
Research leader: Kořenek Jan
2018MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2020, running
Research leader: Zemčík Pavel
2017AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, running
Research leader: Robinson Charles
Team leaders: Vojnar Tomáš
 Moderní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, running
Research leader: Růžička Richard
 ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running
Research leader: Vojnar Tomáš
2016Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, completed
Research leader: Holík Lukáš
 IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running
Research leader: Hruška Tomáš
 Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed
Research leader: Vojnar Tomáš
2014Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed
Research leader: Vojnar Tomáš
Team leaders: Kofroň Jan
 Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed
Research leader: Vojnar Tomáš
2013Innovation of the Complexity Theory class, FRVŠ MŠMT, FR166/2013/G1, 2013, completed
Research leader: Lengál Ondřej
Team leaders: Charvát Lukáš, Rogalewicz Adam
 Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed
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
 Verification and Optimization of Computer Systems, 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
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
2009Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, 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áš

Your IPv4 address: 35.173.234.237
Switch to https