Profesor Fakulty informatiky Masarykovy univerzity, který vyvíjí matematické nástroje pro kontrolu robotů a neuronových sítí. V roce 2024 získal Cenu Neuron a prestižní ERC grant.
Rozvíjí metody ověřování spolehlivosti umělé inteligence a robotů.
Provádí základní výzkum v informatice.
Staňte se součástí národní mozaiky a přidejte se k týmu Česko.