No Free View No Review TCS4F
Léonard Brice

Léonard Brice

theoretical computer science and game theory

ORCID Google Scholar

About Me

I am a researcher in theoretical computer science, currently post-doc at the Institute of Science and Technology Austria, in the group lead by Thomas A. Henzinger. I hold a Master's degree from ENS Paris-Saclay, and a PhD from Université libre de Bruxelles, realised under the supervision of Jean-François Raskin and Marie van den Bogaard. My research focuses on game theory, with applications to formal verification and synthesis of reactive systems, secure protocols, and multi-agent systems.

Pronouns: He/him

Reach out to me in: French (native), English, Spanish/Castilian, Dutch, German

News

10/10/2026: With B. Srivathsan and Aalok Thakkar, we organise the workshop VeLCro: VErification, Logic, and CRyptOgraphy, at CMI (Chennai, India) on December 11. Feel free to register!

25/09/2026: Our paper Multi-environment POMDPs with finite-horizon objectives has been accepted to NeurIPS. Stefanie Muroya Lei will present it in December.

25/09/2026: I will travel to France to present our recent results on team games and multi-environment POMDPs. I will talk at IRISA (Rennes) on October 5, at IRIF (Paris) on October 12, at LMF (Paris-Saclay) on October 13, at LIPN (Saint-Denis) on October 15, and at LIS (Marseille) on November 6. I will also talk at IMDEA (Madrid) on November 10.

17/09/2026: The Highlights Collaborative Research Week (CReW), that I co-organised with Keya Prakash, is over. Thanks a lot to all participants!

15/09/2026: Our paper Algorithms for equilibria in concurrent stopping games has been accepted for presentation in FSTTCS 2026. I will attend the conference, and prior to it, I will be at Chennai Mathematical Institute from November 23 to December 14 to collaborate with B. Srivathsan. Feel free to reach out if you want to meet!

02/08/2026: I release my blog post AI can do math. What now?

Research

Games are a convenient abstract model for interactions of multiple agents with different objectives. In computer science, they are typically used to model the interaction between a computer-controlled system and its environment: if one wishes to program the system so that it enforces some property, one usually needs to synthesise a strategy that guarantees the property against any possible behavior of the environment. I consider more sophisticated settings, with more than two players, in order to model multi-agent systems. All my publications can be found on my DBLP page.

My PhD thesis: L. Brice, Equilibria in Multiplayer Graph Games: An Algorithmic Study (ULB).

Team-versus-one games

Team-vs-one games
Equilibria

Equilibria
Other Research

Others

My co-authors (by country of origin)

(This maps shows de facto boarders, as provided by Natural Earth; it does not mean any form of endorsement from my part to those, nor to the very concept of boarder.)

Teaching

I have been teaching assistant of the following courses:

Contact

You have questions on my works, or you want to start a collaboration? Feel free to reach out!