Jan Křetínský receives the prestigious ERC Consolidator Grant. He will carry out his research at FI MU
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. He returned to FI MU after several years in Germany, 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.
Neuron 2024 Awards
In 2024, he was awarded the Neuron Prize for Computer Science Researchers for his contribution to the verification of artificial intelligence systems and the security of complex programs. The ERC Consolidator Grant, worth two million euros, which he has now won, is awarded for five years to researchers who have already built up their own research group and demonstrate potential as a scientific leader.
We congratulate Professor Křetínský and look forward to seeing the results of his research, which may influence the future of the development of safe and reliable artificial intelligence.
Further details of the grant are provided in an article in M Magazine.
Marta Vrlová, Office for External Relations and Cooperation with FI MU Partners
Photo: FI MU Archive and Lukáš Bíba
- Attachments
