prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

Professor, Department of Computer Science

office: C514
Botanická 554/68a
602 00 Brno

phone:	+420 549 49 4085
e‑mail:

social and academic networks:

Field of study: Computing Technology and Methodology

Application of verification of decisions models in the healthcare context – ongoing study

Formal Verification and Synthesis – ongoing study
Safety Assurances of Neural Network Based Systems in the Context of Autonomous Driving – ongoing study