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 in complex settings with e.g. uncertainty and interaction.

Beyond that, I work a lot on developing various modal/temporal logics (along related algorithms), as well as category-theoretic methods that are useful for the study of multiagent systems, with e.g. applications to reinforcement learning, neurosymbolic AI, and social network analysis.

Overall, I am interested in developing both fundamental frameworks and applied tools, using methods from logic, mathematics and computer science, to aid in our understanding of agents, both as autonomous individuals, and as connected collectives.