Faculty of Information Technology, BUT

Ing.

Pavol Vargovčík


ivargovcik@fit.vut.cz
Office A220

Projects

  • 2019

    Advanced methods of deep inspection in the application layer to defend against today's threats, BUT, FEKT/FIT-J-19-5906, 2019-2020, running, start: 2019-03-01, end: 2020-02-28
    Detail

    AUTODEV - Automata for Decision Procedures and Verification, GACR, GA19-24397S, 2019-2021, running, start: 2019-01-01, end: 2021-12-31
    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

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

  • 2016

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

Back to top