Eline M. Bovy
PhD-candidate at the Radboud University.
I am a PhD candidate at the Software Science department of the Radboud University in Nijmegen, the Netherlands, supervised by Prof.dr. Nils Jansen. Before starting my PhD trajectory in March 2023, I studied Computing Science at Radboud University, specializing in Mathematical Foundations of Computer Science.
My main research interest, and conveniently, the topic of my PhD trajectory, is planning and verification under uncertainty. More specifically, I look at extensions of Markov decision processes (MDPs) that add model uncertainty, such as robust MDPs and robust partially observable MDPs (POMDPs). My current work focuses on the semantics of robust POMDPs, assumptions about uncertainty in robust (PO)MDPs, and the link between the uncertain models and stochastic games.