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]unina.it
News
★ Guest editor for a special issue of Information and Computation (more details soon!).
★ AAMAS 25 tutorial accepted: "Strategic Reasoning and Strategy Representation"
★ Papers accepted at AAMAS 25:
"Rational Capability in Concurrent Games"
"Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems"
"Robust Strategies for Stochastic Multi-Agent Systems" (extended abstract)
★ Our AIJ paper "Formal Verification and Synthesis of Mechanisms for Social Choice" is available in open access.
