doc. RNDr. Petr Novotný, Ph.D.
docent – Katedra teorie programování
kancelář: C412
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4499 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
-
VESCAA: Verifikovatelná a efektivní syntéza kontrolerů pro autonomní agenty (GA23-06963S)
Řešitel na MU: doc. RNDr. Petr Novotný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 3/2023 — 12/2025Investor/Program: Grantová agentura ČR / Standardní projekty -
Models, Algorithms, and Tools for Solving Adversarial Security Problems (0011629866)
Řešitel na MU: prof. RNDr. Antonín Kučera, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 5/2021 — 4/2024Investor/Program: Ostatní - zahraniční / Ostatní nadace/fondy zahraniční -
Verifikace a analýza pravděpodobnostních programů (GA19-15134Y)
Řešitel na MU: doc. RNDr. Petr Novotný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2019 — 12/2021Investor/Program: Grantová agentura ČR / Juniorské granty -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace IV. (MUNI/A/1159/2014)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2015 — 12/2015Investor/Program: Masarykova univerzita / Grantová agentura MU -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/1206/2014)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2015 — 12/2015Investor/Program: Masarykova univerzita / Grantová agentura MU -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III. (MUNI/A/0855/2013)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2014 — 12/2014Investor/Program: Masarykova univerzita / Grantová agentura MU -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0765/2013)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2014 — 12/2014Investor/Program: Masarykova univerzita / Grantová agentura MU -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (MUNI/A/0760/2012)
Řešitel na MU: prof. RNDr. Mojmír Křetínský, CSc. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2013 — 12/2013Investor/Program: Masarykova univerzita / Grantová agentura MU -
Rozšíření studijních materiálů k předmětu Matematická logika (FRVS/511/2013)
Řešitel na MU: doc. RNDr. Petr Novotný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2013 — 12/2013Investor/Program: Ministerstvo školství, mládeže a tělovýchovy ČR / Fond rozvoje vysokých škol