Nima Motamed

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

In my doctoral research, I develop logics for multiagent systems. Specifically, I work on logical frameworks allowing one to reason about and study the way agents revise their beliefs and intentions.

More generally, I work on developing temporal logics and related algorithms that are useful for the study of multiagent systems, with e.g. applications to reinforcement learning.

Besides my work in logic, I am also interested in developing more general mathematical tools for the understanding of complex, evolving systems. For this I often use methods from category theory, which is a powerful framework to describe and analyze mathematical structure.

Overall, my research focuses on applying methods from logic, mathematics, and computer science to improve our understanding of agents, both as isolated individuals and as connected collectives.