CNRS, LIPN, Sorbonne Paris North University
I am a 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
★ Paper accepted at AAMAS 2026
★ Paper accepted at AAAI 2026
★ Paper accepted at FoSSaCS 2026
★ Co-chair of the Doctoral Consortium @ KR 2026
★ Guest editor for a special issue of Information and Computation
★ Our AIJ paper "Formal Verification and Synthesis of Mechanisms for Social Choice" is available in open access