CNRS, LIPN, Sorbonne Paris North University
I am a postdoctoral researcher at CNRS - LIPN, affiliated with Sorbonne Paris North University.
Previously, I was a Marie-Curie fellow at the University of Naples Federico II, and before that, I completed my Ph.D. at the University Toulouse Capitole - IRIT.
I am interested in logics for multi-agent systems, formal methods, knowledge representation, strategic reasoning, and algorithmic game theory.
Contact: lastname[at]lipn.univ-paris13.fr
★ Guest editor for a special issue of Information and Computation
★ Co-chair of the Doctoral Consortium @ KR 2026
★ Paper accepted at KR 2025
★ My AAMAS 25 papers are now available:
"Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems"
"Robust Strategies for Stochastic Multi-Agent Systems" (extended abstract)
★ Our AIJ paper "Formal Verification and Synthesis of Mechanisms for Social Choice" is available in open access