Munyque Mittelmann

I am a researcher (chargée de recherche) at CNRS, working in the SAFER team at LIPN, which is part of Université Sorbonne Paris Nord. My research focuses on logics for multi-agent systems, particularly the specification and formal verification of concurrent systems with strategic agents. My work lies at the intersection of formal methods, knowledge representation, and algorithmic game theory.

Previously, I was a Marie Skłodowska-Curie Fellow at the University of Naples Federico II. I completed my Ph.D. at the University Toulouse Capitole - IRIT on Logics for Representation and Design of Auctions, under the supervision of Laurent Perrussel.