Laurent Perrussel – Full Professor in Computer Science

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.

Main focus

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.

On Going

PhD Proposal

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

Projects

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

Recent papers

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.

Teaching

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”).