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: |
sociální a akademické sítě: |
---|
Obor: Computing Technology and Methodology
Témata závěrečných prací (školitel)
- Application of verification of decisions models in the healthcare context – probíhající studium
Obor: Fundamentals of Computer Science
Témata závěrečných prací (školitel)
- Formal Verification and Synthesis – probíhající studium
- Safety Assurances of Neural Network Based Systems in the Context of Autonomous Driving – probíhající studium