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]unina.it
News
�?� 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.
