Věra Malásková

Projects

• 2023

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

  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

  A set of forensic analytic tools for image and video processing for the criminal police and investigation service, MV, Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019–2025 (IMPAKT 1) PODPROGRAMU 1 SPOLEČNÉ VÝZKUMNÉ PROJEKTY (BV IMP1/2VS), VJ02010041, start: 2022-01-01, end: 2025-12-31, running

• 2020

  CAQtuS: Computer-Aided Quantitative Synthesis, GACR, Juniorské granty, GJ20-02328Y, start: 2020-01-01, end: 2022-12-31, completed

• 2019

  Automata for Decision Procedures and Verification, GACR, Standardní projekty, GA19-24397S, GA19-24397S, start: 2019-01-01, end: 2021-12-31, running

• 2017

  ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, start: 2017-01-01, end: 2019-12-31, completed