prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
profesor – Katedra teorie programování
kancelář: C514
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 4085 |
|---|---|
| e‑mail: | |
| www: | https://live-lab.fi.muni.cz/team/jan-kretinsky.html |
| sociální a akademické sítě: |
|---|
-
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 -
Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity (MUNI/A/0739/2012)
Řešitel na MU: prof. RNDr. Petr Hliněný, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 1/2013 — 12/2013Investor/Program: Masarykova univerzita / Grantová agentura MU -
Pravděpodobnostní CTL a Markovy řetězce (MUNI/E/0018/2008)
Řešitel na MU: prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D. Fakulta / Pracoviště MU: Fakulta informatiky Období řešení: 10/2008 — 6/2009Investor/Program: Masarykova univerzita / Program rektora na podporu tvůrčí činnosti studentů