Promo 2020-2022

Benjamin Moro

• 2022 : stage à l’ONERA à Toulouse sur la vérification automatique de systèmes distribués.
• 2022 - … : ingénieur consultant chez Alten dans les méthodes formelles (et particulièrement la méthode B). L’objectif est de travailler sur l’ensemble de l’aspect sûreté d’un nouveau système CBTC (le système gérant la plupart des métros automatiques).

Théo Hollender

• 2022 : stage à Verimag à Grenoble dans le domaine des Algorithmes Distribués Auto-Stabilisants en lien avec le simulateur SaSa.
• 2022 : tentative concours CAPES en candidat libre

Amaury Jacques

• 2021 : Stage M1 à l’ENS de Lyon avec Nicolas Schabanel.
• 2022 : Stage M2 au LaBRI avec Cyril Gavoille sur les graphes universels induits et l’étiquetage d’adjacence.
• 2022 - 2025: Thèse au LaBRI avec Cyril Gavoille intitulée Complexité paramétrique pour les schémas d’étiquetage.

Kévin Elie

• 2022 : Stage à Gertrude SAEM dans le développement de systèmes de feux de signalisation intelligents.

Jean Crabos

• 2022 : Stage M2 au LaBRI avec Hervé Hocquard, Julien Bensmail et Dimitri Lajou sur la coloration forte d’arêtes dans les graphes 4-réguliers.

Pierre-Antoine Rouby

• 2021 : Stage M1 a l’Inria Bordeaux Sud-Ouest avec Emmanuelle Saillard sur le portage de PARCOACH sur LLVM-12.
• 2022 : Stage M2 a l’Inria Bordeaux Sud-Ouest avec Emmanuelle Saillard et Martin Quinson sur l’extention de MBI pour les erreurs hazards.