Today, when we aim to use self-learning machines in medicine or autonomous driving, their correct and safe operation is essential. Just as with chips or airplanes, it is not enough to test the system a few times; the goal is to eliminate potential problems entirely with mathematical precision.

Jan Křetínský and his group develop mathematical tools and programs that can achieve this as automatically as possible. These programs verify other programs, robots, or neural networks. His work focuses on automata theory, the verification of neural networks and artificial intelligence systems, as well as the use of machine learning techniques in verification.

He studied computer science and mathematics (and also earned a bachelor’s degree in philosophy and linguistics) at Masaryk University in Brno. He obtained a doctorate at the Technical University of Munich as well. After a postdoctoral fellowship at IST in Austria, he returned to Munich in a professorial role, where he stayed for eight years before returning to his alma mater.

He is the author of pioneering works and also focuses on the practical applications of his results. With numerous significant publications to his name, he is highly respected within the scientific community.