Zuzana Pirová

Projects

• 2023

  ROULETTE - Representing Boolean Functions by a Self-Adaptable Data Structure, GACR, GA23-07565S, 2023-2025, running, start: 2023-01-01, end: 2025-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

  OCCAM - OCR, ClassificAtion & Machine Translation, EC EU - Connecting Europe Facility (CEF), 2019-2021, completed, start: 2019-10-01, end: 2021-09-30
  Detail

• 2017

  Integrated platform for analysis of digital data from security incidents, MV CR, VI20172020062, 2017-2020, completed, start: 2017-01-01, end: 2020-06-30
  Detail

• 2016

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