In doctoral research, focuses on developing logics for multiagent systems.
Education
PhD candidate under the supervision of Natasha Alechina, Mehdi Dastani, and Dragan Doder at the Department of Information and Computing Sciences, Intelligent Systems, Utrecht University.
Background
Research interests include developing logics for multiagent systems, particularly focusing on how agents revise their beliefs and intentions in complex settings with uncertainty and interaction. Additionally, works extensively on developing various modal/temporal logics (along with related algorithms) and category-theoretic methods useful for the study of multiagent systems, with applications to reinforcement learning, neurosymbolic AI, and social network analysis.
Miscellany
Rarely opens social media, so please direct all inquiries to email.