I am a PhD student in Computer Science at IRIT – Université Toulouse 1 Capitole, under the supervision of Laurent Perrussel. My thesis investigates the representation and reasoning of auction-based markets. I am currently working on the following topics:
- Logical representation of auction-based markets
- Automated verification and synthesis of mechanisms
- Strategic behavior and epistemic reasoning
My thesis is funded by the ANR project AGAPE. My defense will be in early September 2022.
I am interested in logics for multiagent systems (temporal, epistemic, dynamic, …), theory of computation, formal verification, synthesis, and game theory.