Rémi de Verclos

Rémi de Verclos

remi.de.joannis.de.verclos at ens-lyon.org

I obtained my Ph.D. in Computer Science at the G-SCOP Laboratory in Grenoble in 2018. Until November 2020, I was postdoctoral researcher at the Department of Mathematics of Radboud University in Nijmegen.

I like solving math problems, programming and learning new things.


Research interests

I am interested in all aspects of theoretical computer science and discrete mathematics. In the past, I worked for instance on the following topics:

Phd Thesis

I did my PhD in G-SCOP Laboratory (Université Grenoble Alpes), under the supervision of Louis Esperet and Jean-Sébastien Sereni. The thesis explores the connections of three topics with limits of combinatorial objects: property testing, computational geometry and flag algebras.

Manuscript: Applications of limits of combinatorial structures in geometry and graph theory

Scientific publications


Alfredo Hubard, Ararat Harutyunyan, N.R. Aravind, Eoin Hurley, Ewan Davies, François Pirot, Guillaume Lagarde, Hervé Baumann, Hervé Fournier, Hovhannes Harutyunyan, Jan Volec, Jean-Sébastien Sereni, Louis Esperet, Lucas Pastor, Nicolas Bousquet, Nicolas Grelier, Pierre Fraignaud, Ross Kang, Stéphan Thomassé, Stijn Cambie, Sylvain Périfel, Tien-Nam Le, Vincent Cohen-Addad, Viresh Patel, Wouter Cames van Batenburg, Xavier Goaoc.


Flag algebras

Flag algebras is a theory that uses Semi-Definite Programming to produce some kind of computer-assisted proofs.

During my postdoc, I developed an implementation of flag algebras written in Rust to help me in my own research. The documentation can be found there. If you have any trouble using it, don't hesitate to contact me.

An earlier (and slower) version in OCaml can be found there.

Other project

Smaller projects can be found on my GitHub page. A non-exhaustive list:



I supervised the master thesis of two students.

Teaching experience


I took part in the 49th International Mathematical Olympiad in Madrid (2008) as a member of the French team. I was awarded a bronze medal.