Mehdi Dastani

Binding

I am an Associate Professor at the Intelligent Systems Group of the department of Information and Computing Sciences at Utrecht university. The general theme of my research is multi-agent system theories and applications, in particular specification and programming languages for multi-agent systems and logics to reason about multi-agent specifications and programs.