Gabriele Venturato

Hi, I’m Gabriele Venturato, a PhD student in the DTAI research group at KU Leuven, supervised by Luc De Raedt. I obtained both my bachelor’s and master’s degrees in Computer Science at University of Udine.

At the moment I’m focused on neurosymbolic reinforcement learning. In particular, on how to combine symbolic reasoning (aka logic) with deep reinforcement learning, to improve training and obtain policies that must respect some (safety) properties. I’m also interested in SAT solvers, temporal logic and formal methods.