My main research areas concern:
- Strategic Reasoning
- Logics for multi-agent systems
- General Game Playing
- Reasoning about action and change
- Automated Mechanism Design
See research and publications pages to know more.
I’m the principal investigator of the ANR project “AGAPE” which aims at building General Auction Players. Project involves LAMSADE, LIG, IBISC and will end in 2023
M. Mittelmann, A. Murano, L. Perrussel: “Discounting in Strategy Logic”. IJCAI 2023.
B. Maubert, M. Mittelmann, A. Murano, L. Perrussel: “Formal Verificaton of Bayesian Mechanisms”. AAAI 2023.
G. Jiang, L. Perrussel, D. Zhang, H. Zhang, Y. Zhang: “Game equivalence and expressive power of game description languages: a bisimulation approach”, Journal of Logic and Computation, 2022.
B. Maubert, M. Mittelmann, A. Murano, L. Perrussel: “Automated Synthesis of Mechanisms”. IJCAI 2022.
M. Mittelmann, S. Bouveret, L. Perrussel: “Representing and reasoning about auctions”. Journal Autonomous Agents and Multi-Agent Systems. 36(20). 2022.
In 2021/2022, I teach database (Bachelor – Y3 “MIAGE”) and Programming (Dual Bachelor – Y1 – “Digital and Management”) and Artificial Intelligence (Spring school for Undergraduate students).