At a glance
My main research field is on “Knowledge Representation and Reasoning” and “Logics for Multi-Agent Systems”. Since December 2021, I’m the dean of Faculty of Information Technology at University Toulouse Capitole.
You may also have a look at my ResearchGate profile.
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.
Topic is on Automated Mechanism Design and Strategy Logic. Keywords: Strategic reasoning, Strategy logic, model checking, formal verification, Mechanism Design. Deadline for applying: end of March 2023
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
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”), Software Design and Analysis (Master – Y1 – “MIAGE”) and Internet of things and web programming (Master – Y2 – “MIAGE”).