The European Research Council (ERC) will support Professor Jan Křetínský's research through the ERC Consolidator Grant. His project, entitled Intelligence-oriented verification and controller synthesis, will be carried out at the Faculty of Informatics of Masaryk University, where he returned two years ago thanks to the support of the MASH grant (MUNI Award in Science and Humanities). Before coming back to FI MU, Křetínský worked at the Technical University of Munich.
"I see receiving the most prestigious European grant as a great recognition of my previous work and as a confirmation that the direction in which I conduct my research has great potential. I would also like to reach out to bright students at FI who would be interested in this research in our LiVe Lab," said Jan Křetínský.
The aim of the project is to develop formal methods for verifying planning systems in the field of artificial intelligence. These systems play a crucial role in, for example, robotics, autonomous driving, or control of complex processes. The research will combine insights from automata theory, game theory, logic, and machine learning and aims to significantly strengthen the possibilities of verifying the reliability and safety of AI systems.
We are glad that Jan Křetínský decided to carry out his research here. After several years in Germany, he returned to FI MU, where he led a research group at the Technical University of Munich. He received his PhD there and at Masaryk University. During his studies, he was also awarded the Brno Ph.D. Talent scholarship supporting promising research talents, a PhD competition organized by the JCMM (South Moravian Centre for International Mobility). His areas of expertise include formal methods, analysis of probabilistic systems, and theoretical computer science.
"I see receiving the most prestigious European grant as a great recognition of my previous work and as a confirmation that the direction in which I conduct my research has great potential. I would also like to reach out to bright students at FI who would be interested in this research in our LiVe Lab,"
Google AI Leaders Connect brought together experts from the fields of artificial intelligence, research, business, and public administration.
Representatives of Masaryk University actively participated in the Research Data Day and EOSC National Tripartite Event 2025
