Faculty of Information Technology, BUT

Ing.

Ondřej Lengál

Ph.D.

Assistant professor

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

Projects

  • 2019

    Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU - Horizon 2020, 2019-2022, running, start: 2019-05-01, end: 2022-04-30
    Detail

    AUFOVER - AuFoVer - Automated Formal Verification, TACR, TH04010192, 2019-2021, running, start: 2019-01-01, end: 2021-12-31
    Detail

    AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, running, start: 2019-01-01, end: 2021-12-31
    Detail

    Flexible probe for lawful interceptions, MV CR, VI20192022143, 2019-2022, running, start: 2019-07-01, end: 2022-09-30
    Detail

  • 2018

    MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2020, running, start: 2018-06-01, end: 2020-12-31
    Detail

  • 2017

    AQUAS: Aggregated Quality Assurance for Systems, ECSEL JU - Horizon 2020, 8A17001, 737475, 2017-2020, running, start: 2017-05-01, end: 2020-04-30
    Detail

    Moderní a otevřené studium techniky (MOST), MŠMT CR, 2017-2022, running, start: 2017-09-01, end: 2022-12-31
    Detail

    ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, running, start: 2017-01-01, end: 2019-12-31
    Detail

    Secure and Reliable Computer Systems, BUT, FIT-S-17-4014, FIT-S-17-4014, 2017-2019, running, start: 2017-03-01, end: 2019-12-31
    Detail

  • 2016

    Efficient Automata for Formal Reasoning, GACR, GJ16-24707Y, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
    Detail

    IT4Innovations excellence in science, MŠMT CR, LQ1602, 2016-2020, running, start: 2016-01-01, end: 2020-12-31
    Detail

    Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
    Detail

  • 2014

    Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures, GACR, GA14-11384S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
    Detail

    Reliability and Security in IT, BUT, FIT-S-14-2486, 2014-2016, completed, start: 2014-03-11, end: 2016-12-31
    Detail

  • 2013

    Innovation of the Complexity Theory class, FRVŠ MŠMT, FR166/2013/G1, 2013, completed, start: 2013-01-01, end: 2013-12-31
    Detail

    Verification of Infinite State Systems Based on Finite Automata, GACR, GP13-37876P, 2013-2015, completed, start: 2013-02-01, end: 2015-12-31
    Detail

  • 2012

    Application of functional verification in the digital circuits development process, FRVŠ MŠMT, FR1798/2012/G1, 2012, completed, start: 2012-01-01, end: 2012-12-31
    Detail

    Verification and Optimization of Computer Systems, BUT, FIT-S-12-1, 2012-2014, completed, start: 2012-01-01, end: 2014-12-31
    Detail

  • 2011

    Advanced secured, reliable and adaptive IT, BUT, FIT-S-11-1, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
    Detail

  • 2009

    Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, GD102/09/H042, 2009-2012, completed, start: 2009-01-30, end: 2012-12-31
    Detail

Back to top