links

Université de Lille


Diversity and inclusion in maths & academia


LLMs and proof formalisation


Young researchers

mental health, expatriation, … (FR/ENG/…)


Photography

Sometimes I take pictures, for example during math events and my colleagues use/used them on their webpage, like: Hamid Abban, Fabio Bernasconi, Matilde Maccan (formerly), Robert Śmiech, Sofian Tur-Dorvault, …