Mohsen Ghaffari

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 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.

Reinforcement Learning

Multi-agent Systems

Game Theory

Smart Grids

Formal Methods

PhD Fellow

Department of Computer Science,
IT-University of Copenhagen, Denmark & 

Digital Research Centre Denmark (DIREC) 

Teaching assistant for Advance Programming