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 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 work received the Best Thesis Award from the French Association for AI and the Early Career Award from the KR conference (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 to LAMAS&SR @ KR 24. More information and website soon!

We will give a course in ESSAI & ACAI 2024, titled "Formal Aspects of Strategic Reasoning and Game Playing " (with L. Perrussel and A. Murano). 

Our work will be presented at the workshop "Autonomous Agents for Social Good" at AAMAS 24.

Our paper Playing Quantitative Games Against an Authority: On the Module Checking Problem” was accepted at AAMAS 2024 (with W. Jamroga, A. Murano, and G. Perelli). 

Our paper Verification of Stochastic Multi-Agent Systems with Forgetful Strategies” was accepted at AAMAS 2024 (with F. Belardinelli, W. Jamroga, and A. Murano). 

I've been awarded the KR Early Career Award 2023.

Horizon-MSCA project SEAL (Strategic rEasoning for sociALly good  mechanisms) started in August 2023 (ᵔᴥᵔ).

Thesis award AI 2023 (ex-aequo) by the French Association for AI.