![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
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 |
---|
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
Obor: Fundamentals of Computer Science
Témata závěrečných prací (školitel)
- Safety Assurances of Neural Network Based Systems in the Context of Autonomous Driving – probíhající studium