Vojtěch Mrázek

Projects

• 2024

  Hardware-Aware Machine Learning: From Automated Design to Innovative and Explainable Solutions, GACR, GA24-10990S, 2024-2026, running, start: 2024-01-01, end: 2026-12-31
  Detail

• 2023

  Application-specific HW/SW architectures and their applications, BUT, FIT-S-23-8141, 2023-2025, running, start: 2023-03-01, end: 2025-12-31
  Detail

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

• 2022

  AppNeCo: Approximate Neurocomputing, GACR, GA22-02067S, 2022-2024, running, start: 2022-01-01, end: 2024-12-31
  Detail

• 2021

  Automated design of hardware accelerators for resource-aware machine learning, GACR, GA21-13001S, 2021-2023, completed, start: 2021-01-01, end: 2023-12-31
  Detail

  Expert consultation in GP, CGP, 2021, completed, start: 2021-09-01, end: 2021-12-31
  Detail

• 2020

  Bio-inspired methods for resource aware computer system design, COST - European Cooperation in Science and Technology (COST), 2020-2024, completed, start: 2020-09-29, end: 2024-09-28
  Detail

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

  Design, Optimization and Evaluation of Application Specific Computer Systems, BUT, FIT-S-20-6309, 2020-2022, completed, start: 2020-03-01, end: 2022-12-31
  Detail

• 2019

  Designing and exploiting libraries of approximate circuits, GACR, GA19-10137S, 2019-2021, completed, start: 2019-01-01, end: 2021-12-31
  Detail

• 2018

  International mobility of researchers at the Brno University of Technology, MŠMT CR, EF16_027/0008371, 2018-2020, completed, start: 2018-03-01, end: 2020-09-30
  Detail

• 2017

  Advanced parallel and embedded computer systems, BUT, FIT-S-17-3994, 2017-2019, completed, start: 2017-03-01, end: 2019-12-31
  Detail

  Enhancement of genetic optimization methods for computer engineering, BUT, FIT/FSI-J-17-4294, 2017-2018, completed, start: 2017-03-01, end: 2018-02-28
  Detail

• 2016

  Advancing cryptanalytic methods through evolutionary computing, GACR, GA16-08565S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

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

  Relaxed equivalence checking for approximate computing, GACR, GA16-17538S, 2016-2018, completed, start: 2016-01-01, end: 2018-12-31
  Detail

• 2014

  Advanced Methods for Evolutionary Design of Complex Digital Circuits, GACR, GA14-04197S, 2014-2016, completed, start: 2014-01-01, end: 2016-12-31
  Detail

  Architecture of parallel and embedded computer systems, BUT, FIT-S-14-2297, 2014-2016, completed, start: 2014-03-01, end: 2016-12-31
  Detail