Ing.

Zbyněk Křivka

Ph.D.

Assistant professor

+420 54114 1313
krivka@fit.vut.cz
C229 Office
13784/BUT personal ID

Projects

  • 2023

    Smart information technology for a resilient society, BUT, FIT-S-23-8209, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
    Detail

  • 2020

    Application of AI methods to cyber security and control systems, BUT, FIT-S-20-6293, 2020-2022, completed, start: 2020-03-23, end: 2022-12-31
    Detail

    Efficient Finite Automata for Automated Reasoning, MŠMT CR, LL1908, 2020-2024, running, start: 2020-01-01, end: 2024-12-31
    Detail

  • 2019

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

  • 2017

    ICT tools, methods and technologies for smart cities, BUT, FIT-S-17-3964, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
    Detail

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

  • 2016

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

  • 2014

    Research and application of advanced methods in ICT, BUT, FIT-S-14-2299, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
    Detail

  • 2012

    V3C - Visual Computing Competence Center, TACR, TE01020415, 2012-2019, completed, start: 2012-05-01, end: 2019-12-31
    Detail

  • 2011

    Advanced recognition and presentation of multimedia data, BUT, FIT-S-11-2, 2011-2013, completed, start: 2011-01-01, end: 2013-12-31
    Detail

    The IT4Innovations Centre of Excellence, MŠMT CR, ED1.1.00/02.0070, 2011-2015, completed, start: 2011-01-01, end: 2015-12-31
    Detail

  • 2010

    Context-free languages and pushdown automata, MŠMT CR, MEB041003, 2010-2011, completed, start: 2010-01-01, end: 2011-12-31
    Detail

    Interactive support for teaching functional and logic programming, FRVŠ MŠMT, FR2392/2010/G1, 2010, completed, start: 2010-01-01, end: 2010-12-31
    Detail

    Recognition and presentation of multimedia data, FIT BUT, FIT-S-10-2, 2010, 2010, completed, start: 2010-04-01, end: 2010-12-31
    Detail

  • 2007

    Inovative Approach to the Compiler Projects, FRVŠ MŠMT, FR673/2007/G1, 2007, completed, start: 2007-01-01, end: 2007-12-31
    Detail

    Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, completed, start: 2007-01-01, end: 2013-12-31
    Detail

  • 2006

    Didactic Demonstration of Formal Language Models, FRVŠ MŠMT, FR1909/2006/G1, 2006, completed, start: 2006-01-01, end: 2006-12-31
    Detail

    Virtual Laboratory of Microprocessor Technology Application, MŠMT CR, 2C06008, 2006-2011, completed, start: 2006-07-01, end: 2011-06-30
    Detail

Back to top