prof. Ing. Tomáš Vojnar, Ph.D.

Řešitel na MU:	prof. RNDr. Jan Strejček, Ph.D.
Fakulta / Pracoviště MU:	Fakulta informatiky
Období řešení:	1/2023 — 12/2025
Investor/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/2021
Investor/Program:	Technologická agentura ČR / EPSILON