Petr Gaďorek

Projects

• 2024

  EUROPEAN BLOCKCHAIN SERVICES INFRASTRUCTURE, EBSI, MPO, Projekt systému financování SME prostřednictvím EBSI, Z222901000001, start: 2024-03-01, end: 2025-12-31, running

• 2023

  Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, Standardní projekty, GA23-07565S, start: 2023-01-01, end: 2025-12-31, running

  VESCAA: Verifiable and Efficient Synthesis of Agent Controllers, GACR, Standardní projekty, GA23-06963S, start: 2023-03-01, end: 2025-12-31, running

• 2022

  Flow-based Encrypted Traffic Analysis, MV, Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019–2025 (IMPAKT 1) PODPROGRAMU 1 SPOLEČNÉ VÝZKUMNÉ PROJEKTY (BV IMP1/2VS), VJ02010024, start: 2022-01-01, end: 2025-06-30, running

  Transformace formy a obsahu vzdělávání na Vysokém učení technickém v Brně, MŠMT, Výzva pro VŠ v rámci NPO, start: 2022-04-01, end: 2024-12-31, running

• 2021

  SECUSEN II: SECure SENsors - Industrial Intelligence, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/14, start: 2021-06-01, end: 2022-09-30, running

• 2020

  Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, start: 2020-01-01, end: 2022-12-31, completed

• 2019

  AI for Traffic and Industry Vision, TAČR, Program na podporu aplikovaného výzkumu a experimentálního vývoje EPSILON (2015-2025), TH04010144, start: 2019-09-01, end: 2021-11-30, completed