Nima Motamed

Intelligent Systems, Universiteit Utrecht

Buys Ballotgebouw

Office 5.24

Princetonplein 5

3584 CC Utrecht

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

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

More broadly, I’m interested in applying methods from logic, mathematics and computer science to improve our general understanding of agents, be they isolated individuals or connected collectives.

Specific fields I like to engage with include modal logic, epistemic/doxastic logic, category theory, and coalgebra.


Sep 13, 2022 I am attending EUMAS 2022 this week, where a coauthor will be presenting our paper “Participatory Budgeting with Multiple Resources” (with Arie Soeteman, Simon Rey, and Ulle Endriss), in Düsseldorf, Germany.
Aug 22, 2022 I’m presenting our short contribution “A Probabilistic Finite Temporal Logic for Policies and Intentions” (with Natasha Alechina, Mehdi Dastani and Dragan Doder) this week at LAMAS & SR 2022 (co-located with Advances in Modal Logic) in Rennes, France.
Aug 7, 2022 I’m currently attending the European Summer School in Logic, Language and Information (ESSLLI) in Galway, Ireland.
Jul 14, 2022 I’m currently attending Applied Category Theory 2022 in Glasgow, Scotland, United Kingdom.
May 29, 2022 I am one of the selected participants of the currently running 2022 edition of the American Mathematical Society’s Mathematics Research Communities on Applied Category Theory, with research led by John Baez, Nina Otter, and Valeria de Paiva, in Java Center, New York, United States.
Apr 10, 2022 I’m attending the 2022 Midlands Graduate School in the Foundations of Computing Science in Nottingham, England, United Kingdom.
Apr 2, 2022 I’m presenting our short contribution “Boolean-Valued Multiagent Coalgebraic Logic” (with Alexander Kurz) based on my Master’s thesis at CMCS 2022 this weekend in Munich, Germany.
Oct 1, 2021 I started my PhD in Utrecht.
Aug 31, 2021 I defended my thesis and graduated cum laude from the Master of Logic.