prof. Ing. Tomáš Vojnar, Ph.D.
vedoucí katedry – Katedra počítačových systémů a komunikací
kancelář: C318
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 8211 |
|---|---|
| e‑mail: |
| sociální a akademické sítě: |
|---|
-
Concise Models for Efficient Reasoning (GA26-22640S)
Řešitel na MU: prof. RNDr. Jan Strejček, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2026 — 12/2028Investor/Program: Grantová agentura ČR / Standardní projekty -
Aplikovaný výzkum na FI: Bezpečnost kryptografických implementací a uživatelské aspekty, kyberbezpečnostní tréning a pedagogické aspekty, datová analytika fyzikálních sensorů, verifikace programů a plánování v logistice (MUNI/A/1782/2025)
Řešitel na MU: doc. RNDr. Petr Švenda, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2026 — 12/2026Investor/Program: Masarykova univerzita / Specifický výzkum - podpora studentských projektů -
Pokročilá analýza a verifikace pro pokročilý software (GA23-06506S)
Řešitel na MU: prof. RNDr. Jan Strejček, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2023 — 12/2025Investor/Program: Grantová agentura ČR / Standardní projekty -
Automatizace formální verifikace (TH04010192)
Řešitel na MU: prof. RNDr. Jan Strejček, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2019 — 12/2021Investor/Program: Technologická agentura ČR / EPSILON