Fakulta informačních technologií VUT v Brně

Ing.

Lengál Ondřej

Ph.D.

Odborný asistent

+420 54114-1178
lengal@fit.vut.cz
Pracovna A219

Projekty

  • 2019

    Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, řešení, zahájení: 2019-05-01, ukončení: 2022-04-30
    Detail

    AUFOVER - Automatizace Formální Verifikace (TACR), TAČR - Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010192, 2019-2021, řešení, zahájení: 2019-01-01, ukončení: 2021-12-31
    Detail

    AUTODEV - Automaty v rozhodovacích procedurách a verifikaci, GAČR - Standardní projekty, GA19-24397S, 2019-2021, řešení, zahájení: 2019-01-01, ukončení: 2021-12-31
    Detail

    Flexibilní sonda pro realizaci zákonných odposlechů, MV ČR - Program bezpečnostního výzkumu ČR v letech 2015-2022 (BV III/1-VS), 2019-2022, řešení, zahájení: 2019-07-01, ukončení: 2022-09-30
    Detail

  • 2018

    MUSIC - Mnohoúrovňová bezpečnost v kritických aplikacích počítačových systémů, MŠMT ČR - INTER-EXCELLENCE - Podprogram INTER-EUREKA LTE217, LTE118019, 2018-2020, řešení, zahájení: 2018-06-01, ukončení: 2020-12-31
    Detail

  • 2017

    AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, řešení, zahájení: 2017-05-01, ukončení: 2020-04-30
    Detail

    Bezpečné a spolehlivé počítačové systémy, VUT v Brně - Vnitřní projekty VUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, řešení, zahájení: 2017-03-01, ukončení: 2019-12-31
    Detail

    Moderní a otevřené studium techniky (MOST), MŠMT ČR - OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, řešení, zahájení: 2017-09-01, ukončení: 2022-12-31
    Detail

    ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR - Standardní projekty, GA17-12465S, 2017-2019, řešení, zahájení: 2017-01-01, ukončení: 2019-12-31
    Detail

  • 2016

    Efficient Automata Techniques for Formal Reasoning, GAČR - Juniorské granty, GJ16-24707Y, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
    Detail

    IT4Innovations excellence in science, MŠMT ČR - Národní program udržitelnosti II, LQ1602, 2016-2020, řešení, zahájení: 2016-01-01, ukončení: 2020-12-31
    Detail

    Přibližná ekvivalence pro aproximativní počítání, GAČR - Standardní projekty, GA16-17538S, 2016-2018, ukončen, zahájení: 2016-01-01, ukončení: 2018-12-31
    Detail

  • 2014

    Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí, GAČR - Standardní projekty, GA14-11384S, 2014-2016, ukončen, zahájení: 2014-01-01, ukončení: 2016-12-31
    Detail

    Spolehlivost a bezpečnost v IT, VUT v Brně - Vnitřní projekty VUT, FIT-S-14-2486, 2014-2016, ukončen, zahájení: 2014-03-11, ukončení: 2016-12-31
    Detail

  • 2013

    Inovace předmětu Složitost, FRVŠ MŠMT - Fond rozvoje vysokých škol (FRVŠ), FR166/2013/G1, 2013, ukončen, zahájení: 2013-01-01, ukončení: 2013-12-31
    Detail

    Verification of Infinite State Systems Based on Finite Automata, GAČR - Postdoktorandské granty, GP13-37876P, 2013-2015, ukončen, zahájení: 2013-02-01, ukončení: 2015-12-31
    Detail

  • 2012

    Verifikace a optimalizace počítačových systémů, VUT v Brně - Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, ukončen, zahájení: 2012-01-01, ukončení: 2014-12-31
    Detail

    Využití funkční verifikace při vývoji pokročilých číslicových obvodů, FRVŠ MŠMT - Fond rozvoje vysokých škol (FRVŠ), FR1798/2012/G1, 2012, ukončen, zahájení: 2012-01-01, ukončení: 2012-12-31
    Detail

  • 2011

    Pokročilé bezpečné, spolehlivé a adaptivní IT, VUT v Brně, FIT-S-11-1, 2011-2013, ukončen, zahájení: 2011-01-01, ukončení: 2013-12-31
    Detail

  • 2009

    Matematické 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ů, GAČR - Doktorské granty, GD102/09/H042, 2009-2012, ukončen, zahájení: 2009-01-30, ukončení: 2012-12-31
    Detail

Nahoru