Maksim Gladyshev

I am a PhD candidate under supervision of Natasha Alechina, Mehdi Dastani, and Dragan Doder.

In my research I focus on using logical methods for artificial intelligence and multi-agent systems. These methods allow one to reason about such things as causality, knowledge, strategic power and time.