Ing.

Jan Fiedor

Ph.D.

Researcher


ifiedor@fit.vut.cz
84406/BUT personal ID

Projects

  • 2024

    Verification and Analysis for Safety and Security of Applications in Life, EC EU - HORIZON EUROPE, SEP-210979090, SEP-210979090, 2024-2027, running, start: 2024-06-01, end: 2027-05-31
    Detail

  • 2023

    AIDE - Advanced Analysis and Verification for Advanced Software, GACR, GA23-06506S, 2023-2025, running, start: 2023-01-01, end: 2025-12-31
    Detail

    CHESS - Cyber-security Excellence Hub in Estonia and South Moravia, EC EU - HORIZON EUROPE, 101087529, 101087529, 2023-2026, running, start: 2023-01-01, end: 2026-12-31
    Detail

  • 2020

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

    VALU3S - Verification and Validation of Automated Systems' Safety and Security, ECSEL JU, 8A20009, 876852, 2020-2023, completed, start: 2020-05-01, end: 2023-07-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

    AUFOVER - Automation of Formal Verification, TACR, TH04010192, 2019-2021, completed, start: 2019-01-01, end: 2021-12-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

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

  • 2014

    Automatic Analysis and Verification of Transactional Memories, COST, LD14001, 2014, completed, start: 2014-01-01, end: 2014-12-31
    Detail

    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

    Runtime Verification beyond Monitoring (ARVI), COST - European Cooperation in Science and Technology (COST), IC1402, IC1402, 2014-2018, completed, start: 2014-12-17, end: 2018-12-18
    Detail

  • 2013

    HoliDes - Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems, Artemis JU, 7H13004, 332933, 2013-2016, completed, start: 2013-10-01, end: 2016-09-30
    Detail

    Intelligent Testing and Analysis of Concurrent Software, MŠMT CR, LH13265, 2013-2015, completed, start: 2013-04-01, end: 2015-03-31
    Detail

  • 2012

    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

    Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM), COST, IC1001, 2011-2015, completed, start: 2011-02-10, end: 2015-02-09
    Detail

  • 2010

    Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT CR, OC10009, 2010-2012, completed, start: 2010-01-01, end: 2012-12-31
    Detail

    Secured, reliable and adaptive computer systems, BUT, FIT-S-10-1, 2010, completed, start: 2010-03-01, end: 2010-12-31
    Detail

    Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, GAP103/10/0306, 2010-2013, completed, start: 2010-01-01, end: 2013-12-31
    Detail

  • 2009

    Rich-Model Toolkit -- An Infrastructure for Reliable Computer Systems, COST, IC0901, 2009-2013, completed, start: 2009-10-30, end: 2013-10-30
    Detail

Back to top