Ing.

Vojtěch Mrázek

Ph.D.

Assistant professor

+420 54114 1348
mrazek@fit.vut.cz
L307 Office
128737/BUT personal ID

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, running, 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

Back to top