Petr Gaďorek

Projects

• 2024

  EUROPEAN BLOCKCHAIN SERVICES INFRASTRUCTURE, EBSI, MPO CR, Z222901000001, 2024-2025, running, start: 2024-03-01, end: 2025-12-31
  Detail

• 2023

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

• 2022

  Flow-based Encrypted Traffic Analysis, MV CR, VJ02010024, 2022-2025, running, start: 2022-01-01, end: 2025-06-30
  Detail

  Transformation of the education form and content at the Brno University of Technology, MŠMT CR, 2022-2024, completed, start: 2022-07-01, end: 2024-06-30
  Detail

• 2021

  SECUSEN II: SECure SENsors - Industrial Intelligence, TACR - Národní centra kompetence 1, TN01000077/14, 2021-2022, completed, start: 2021-09-01, end: 2022-12-31
  Detail

• 2020

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

• 2019

  AI for Traffic and Industry Vision, TACR, TH04010144, 2019-2021, completed, start: 2019-09-01, end: 2021-11-30
  Detail

  Employment of artificial intelligence into an emergency call reception, MV CR, VI20192022169, 2019-2022, completed, start: 2019-07-04, end: 2022-05-31
  Detail

  Flexible probe for lawful interceptions, MV CR, VI20192022143, 2019-2022, completed, start: 2019-07-01, end: 2022-09-30
  Detail

  Security monitoring of ICS communication in the smart grid, MV CR, VI20192022138, 2019-2022, completed, start: 2019-11-01, end: 2022-10-31
  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

• 2015

  Information mining in speech acquired by distant microphones (DRAPÁK), MV CR, VI20152020025, 2015-2020, completed, start: 2015-10-01, end: 2020-09-30
  Detail

• 1999

  Research in information and control systems, CEZ MŠMT, MSM 262200012, 1999-2004, completed, start: 1999-01-01, end: 2004-12-31
  Detail