🌸About Me
I am a researcher (chargée de recherche) at CNRS-LIPN, affiliated with Université Sorbonne Paris Nord.
Interests
- Knowledge Representation and Reasoning
- Multi-Agent Systems
- Logics
- Algorithmic Game Theory
Education
PhD in Computer Science
Université Toulouse Capitole
MSc in Computer Science
Federal University of Santa Catarina
BSc in Computer Science
Federal Institute Catarinense
📚 My Research
My research is focused on logics and formal methods for strategic reasoning, modelization, and verification of Multi-Agent Systems.
Recent News
- 📖 Guest editor for a special issue of Information and Computation
- 🇨🇾 Paper accepted at AAMAS 2026
- 🇸🇬 Paper accepted at AAAI 2026
- 🇮🇹 Paper accepted at FoSSaCS 2026
- 🇵🇹 Co-chair of the Doctoral Consortium @ KR 2026
- 📢 Our AIJ paper “Formal Verification and Synthesis of Mechanisms for Social Choice” is available in open access