Eline M. Bovy

PhD-candidate at the Software Science department of Radboud University.

Pro_foto_klein.jpg

Nijmegen, The Netherlands

My research interests are formal verification and decision-making problems. My current work focuses on uncertain partially observable Markov decision processes.