Nima Motamed
Intelligent Systems, Department of Information and Computing Sciences, Utrecht University
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.
Visiting address
Buys Ballotgebouw, Room 5.24
Princetonplein 5
3584 CC Utrecht
Postal address
Nima Motamed
Intelligent Systems, Buys Ballotgebouw, Kamer 5.24
Winthontlaan 30C
3526 KV Utrecht