Ing.

Tomáš Fiedor

Ph.D.

Member

+420 54114 1178
ifiedortom@fit.vut.cz
A219 Office
128840/BUT personal ID

Projects

  • 2024

    RED HAT - výzkum pokročilých metod inženýrství kvality kódu se zvláštním zaměřením na vylepšení stávajícího nástroje Perun a jeho použití v portfoliu společnosti Red Hat, zejména pro profilování linuxového jádra, RedHatCZ, 2024, running, start: 2024-06-01, end: 2024-09-30
    Detail

    Spolupráce s partnery FIT, FIT BUT, 2024, running, start: 2024-01-01, end: 2024-12-31
    Detail

  • 2021

    Security and Monitoring of Distributed Manufacturing Execution Systems, TACR - Národní centra kompetence 1, TN01000077/12, 2021-2022, completed, start: 2021-05-01, end: 2022-12-31
    Detail

  • 2020

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

    Reliable, Secure, and Efficient Computer Systems, BUT, FIT-S-20-6427, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
    Detail

  • 2019

    Arrowhead - Arrowhead Tools for Engineering of Digitalisation Solutions, ECSEL JU, 8A19010, 826452, 2019-2022, completed, start: 2019-05-01, end: 2022-07-31
    Detail

    KYPO4Industry, TACR - Národní centra kompetence 1, TN01000077/06, 2019-2021, completed, start: 2019-08-01, end: 2021-04-30
    Detail

  • 2018

    MUSIC - MuSiC - Multi-level Security for Critical Services, MŠMT CR, LTE118019, 2018-2021, completed, start: 2018-06-01, end: 2021-05-31
    Detail

  • 2017

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

    ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, GA17-12465S, 2017-2019, completed, 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, completed, 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

    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

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

Back to top