About me

I am a PhD student in Computer Science at IRITUniversité 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.

See my profile on DBLP, Google Scholar, and LinkedIn.

Personal pages: Twitter, Instagram, and Facebook.

Theme: Overlay by Kaira Extra Text
Cape Town, South Africa