I am a postdoctoral researcher in Computer Science at the Artificial Intelligence Center (AIC), Czech Technical University in Prague. I hold a PhD in Computer Science from the IT University of Copenhagen. During my doctoral studies, I focused on applying formal methods to improve the reliability, safety, and explainability of reinforcement learning systems. My research also covers decision-making under uncertainty and multi-agent reinforcement learning, with applications in domains such as smart grids, water management, and route planning.

My proposal to the CROP Postdoctoral Fellowship was funded, and I have recently been working on learning heuristics for symbolic search using reinforcement learning.

You can download my PhD dissertation here.