Munyque Mittelmann

Marie-Curie Fellow, University of Naples Federico II

About me

I am a Marie-Curie fellow at the University of Naples Federico II in the ASTREA group. 

I am the principal investigator of the Horizon-MSCA project SEAL, for which I obtained an Individual Fellowship from the European Commission. 

I did my Ph.D. in Computer Science at the University Toulouse Capitole - IRIT. My thesis received the Best Thesis Award AI 2023 by the French Association for AI. I was also awarded the KR Early Career Award 2023.

My research is related to logics for multi-agent systems, formal methods, knowledge representation, strategic reasoning, and algorithmic game theory.

Contact: munyque.mittelmann[at] 


I am co-chair of LAMAS&SR @ KR 24 and SPIRIT @ AIxIA 24. 

Two papers accepted at KR 24.

Two papers accepted at AAMAS 24.

Paper accepted at AAAI 24.

Course "Formal Aspects of Strategic Reasoning and Game Playing " accepted at ESSAI & ACAI 2024. 

Tutorial "Formal Aspects of Strategic Reasoning in Multi-Agent Systems" accepted at KR 24.