Leonard Volarić Horvat

PhD student at the Algorithmics Group of the Faculty of Engineering, Mathematics and Computer Science (EEMCS/EWI), Delft University of Technology.

I am working on program synthesis, with special emphasis on probabilistic programs. My goal is to combine the reasoning capabilities of logic programming and the flexibility that probabilistic programming provides in uncertain contexts, to create flexible intelligent agents beneficial in aiding people to make informed decisions. I am being advised by Sebastijan Dumančić and Mathijs de Weerdt.