prof. Ing. Tomáš Vojnar, Ph.D.
Professor, Department of Computer Systems and Communications
Correspondence Address:
Botanická 554/68a, 602 00 Brno
E‑mail: |
---|
-
Advanced Analysis and Verification for Advanced Software (GA23-06506S)
MU Researcher: prof. RNDr. Jan Strejček, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2023 — 12/2025Investor: Czech Science Foundation / Standard Projects -
Automatizace formální verifikace (TH04010192)
MU Researcher: prof. RNDr. Jan Strejček, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2019 — 12/2021Investor: Technology Agency of the Czech Republic / EPSILON