Ing.

Jiří Matyáš

Ph.D.

FIT, VZ VERIFIT – člen

imatyas@fit.vut.cz

Odeslat VUT zprávu

Ing. Jiří Matyáš, Ph.D.

Projekty

  • 2023

    Reliable, Secure, and Intelligent Computer Systems, zahájení: 01.03.2023, ukončení: 28.02.2026
    Detail

  • 2020

    Spolehlivé, bezpečné a efektivní počítačové systémy, zahájení: 01.03.2020, ukončení: 28.02.2023
    Detail

    GJ20-02328Y, Computer-Aided Quantitative Synthesis, zahájení: 01.01.2020, ukončení: 31.12.2022
    Detail

  • 2019

    Automaty v rozhodovacích procedurách a verifikaci, zahájení: 01.01.2019, ukončení: 31.12.2021
    Detail

  • 2016

    LQ1602, IT4Innovations excellence in science, zahájení: 01.01.2016, ukončení: 31.12.2020
    Detail