I am a PhD student in Computer Science at the SQUARE group. I have worked on Demand Management in Smart Grids, Shortest Path on Uncertain Networks, Hazard Detector and Healthy Predictor Systems, and Police Patrolling. To this end, I have developed approaches using Multi-Agent reinforcement Learning, Hidden Markov Models, and Game Theory. Recently, I have been interested in the reliability, safety and explainability of Reinforcement Learning. For this reason, I am trying to apply Formal Verification tools, such as Symbolic Execution, in Reinforcement Learning. Right now, I am working on symbolic reinforcement learning.