Jonas Sénizergues

jonas senizergues u-bordeaux fr

(Formerly) ATER (teaching assistant) at Université de Bordeaux in Bordeaux.
(Still, de facto) Member LaBRI's department CombAlgo through teams GO (Graph and Optimization) and AlgoDist (Distributed Agorithms).

Contact Information

Current Situation:
I'm currently searching for a postdoc or a permanent position.

I am interested in graph related topics, distributed computing and game theory, and more broadly about combinatorics. I mainly study, at the moment:

Colored graph algorithmic problems (i.e. problems whose input is a graph with colors either on the vertices or the edges, not necessarily a proper coloration)
Low-memory Distributed Algorithms robust to both transient and byzantine faults
Combinatorial games (more specifically : positional games, which are a type of game played on hypergraphs)

Publications in Journals or Conferences:

In Journals:

Formalization of Shannon's Theorems, Reynald Affeldt, Manabu Hagiwara, Jonas Sénizergues, Journal of Automated Reasoning, Volume 53, 2014.

In Conference proceedings:

Making Self-Stabilizing Algorithms for Any Locally Greedy Problem, Johanne Cohen, Laurence Pilard, Mikaël Rabie, Jonas Sénizergues, SAND 2023 (open access here).
Self-stabilization and Byzantine Tolerance for Maximal Independent Set, Johanne Cohen, Laurence Pilard, Jonas Sénizergues, SSS 2021 (also on ArXiv).
A unified convention for achievement positional games, Florian Galliot, Jonas Sénizergues, accepted to EUROCOMB 2025 (also on HAL).

Preprints:

Minimum colored Maximum Matchings in vertex-colored Graphs, Johanne Cohen, Yannis Manoussakis, Jonas Sénizergues, submitted to DMTCS (also on HAL).
Maker-Maker games of rank 4 are PSPACE-complete, Florian Galliot, Jonas Sénizergues, to be submitted (also on ArXiV).
Self-stabilization and Byzantine tolerance for Maximal Independent Set (Journal ver.), Johanne Cohen, Laurence Pillard, François Pirot, Jonas Sénizergues, to be submitted (also on ArXiv).
Autostabilizing Minimal Clique Decomposition with Byzantine Faults tolerance, Johanne Cohen, Laurence Pillard, Jonas Sénizergues, to be submitted (also on HAL).
You may also be looking for my PhD thesis.

Teaching :

2024-2025 (Université de Bordeaux) : Programmation fonctionnelle (L3), Programmation en C (L2)
2023-2024 (Université de Bordeaux): Programmation fonctionnelle (L3), Approche objet (M1), Complexité et Calculabilité (M1), Informatique (UF eco-gestion, L2), Programation Orientée Objet (L2), Algorithmique des tableaux (L1)
2021-2022 (ENSIIE, Evry): Langages objet (L3), Programmation objet (L3), Programmation Web (L3), Encadrement de projet informatique (L3)
2020-2021 (Université Paris-Saclay): Algorithmique générale (L3), Programmation fonctionnelle avancée (L3), Langages formels (L3)
2019-2020 (Université Paris-Saclay): Algorithmique générale (L3), Sécurité des systèmes (L1), Langages formels (L3)
2018-2019 (Université Paris-Saclay): Langages formels (L3), Introduction à la programmation fonctionnelle (L2), Informatique 1 (Formation ingénieur Polytech Paris Sud)
2016-2017 (Lycée François Truffaut, Bondoufle): Mathématiques (Seconde et Première ES)
2015-2016 (IUT d'Orsay): Programmation et administration des bases de données (L1)

Vitae:

Born in Talence on the 23rd of February 1991.
Began to study at École Normale Supérieure de Cachan (now École Normale Supérieure Paris-Saclay) through competitive exam in 2010.
Master degree from MPRI (Parisian Master of Research in Computer Science) in 2013, co-accredited by École Normale Supérieure de Cachan in 2013.
Successful candidate to the Agrégation de Mathématiques (Option D) 2014 (a prestigious math competitive exam).
PhD from Université Paris-Saclay, prepared in the GALaC team of the LISN (Oct 2018-Dec 2022), with Johanne Cohen and the late Yannis Manoussakis, defended on the 12th of December 2022 (manuscript available here).
ATER (teaching assistant) at ENSIIE (Jan-Aug 2022).
ATER (teaching assistant) at Université de Bordeaux (Sept 2023-Dec 2024).

Fluent in French (mother tongue) and English. Notions of Spanish and Japanese.