prof. Ing. Tomáš Vojnar, Ph.D.
Department head, Department of Computer Systems and Communications
office: B405
Botanická 554/68a
602 00 Brno
phone: | +420 549 49 8211 |
---|---|
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