Professor Jan Kretinsky, Ph.D.

Adresse Masarykova Univerzita
Fakulta informatiky
Katedra teorie programování
Botanická 554/68a
602 00 Brno
Tschechische Republik

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Verifizierte Model Checker (Sachbeihilfen)
  - Statistische unbegrenzte Überprüfung (Sachbeihilfen)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2428: CONVEY - Continuous Verification of CYber-Physical Systems (Graduiertenkollegs)
Als Ehemaliger Antragsteller
- laufende Projekte
  - Group-by-Ziele bei der probabilistichen Verifikation (Sachbeihilfen) bis 12/2023