Sylvain Raïs

  • 2022 : Stage M1 à l’UQO (Université du Québec en Outaouais). Tuteur : Omer Nguena. Sujet : Extraction de spécifications de systèmes évolutifs représentés par des machines à états finis étendues.
  • 2023 : Stage M2 au LaBRI. Tuteurs : Antoine Rollet et Omer Nguena. Sujet : Graphes temporels/dynamiques, model checking et réseaux de neurones.
  • 2023 - 2026 : Thèse. Sujet : Méthodes formelles pour la conception de systèmes robotiques robustes. Lieux : LaBRI, ONERA. Encadrants : David Doose, Olivier Ly, Frédéric Herbreteau

Émile Rolley

  • 2022 : Stage M1 dans l’équipe PROSECCO (INRIA Paris) dans le cadre du projet Catala, un DSL pour l’implémentation correcte de la loi en code.
    • Implémentation d’un outils de visualisation et de la trace d’exécution d’un programme Catala.
    • Extension du compilateur pour automatiser la génération de simulateurs web à partir d’un programme Catala.
  • 2022 - 2024 : Mission freelance sur le projet Nos Gestes Climat, le calculateur d’empreinte carbone individuelle de l’Agence de la transition écologique (ADEME), développé au sein de l’Accélérateur de la transition. [TJM 400€ / full remote / 3-4j semaine]
    • Implémentation et maintenance de l’outillage du modèle de calcul.
    • Implémentation d’outils pour Publicodes, le langage dans lequel est implémenté le modèle de calcul. Notamment en ajoutant une passe de constant folding et d’un système d’import.
    • Internationalisation du site et du modèle de calcul.
  • 2023 - 2024 : Mission freelance sur le projet Catala. Mission financée par le Pôle logiciels libres de la Direction Interministérielle du Numérique. [TJM 650€ / full remote / 2j semaine]
    • Implémentation d’un prototype sur la génération automatisée, individuelle et intelligible d’explications de calculs effectués par un algorithme public. Le résultat du travail est disponible dans ce rapport de recherche.

Je travail exclusivement sur des projets open-source, tout ce que je fait est donc disponible sur GitHub. A noter également que j’ai choisi de ne pas poursuivre en M2, je suis donc pas diplômé de l’Université de Bordeaux.

Romain Delpy

  • 2022 : Stage M1 au LaBRI (Université de Bordeaux). Tuteurs : Anca Muscholl & Corto Mascle. Sujet : Algorithms for controller synthesis on distributed lock sharing systems.
  • 2023 : Stage M2 au LaBRI (Université de Bordeaux). Tuteurs : Anca Muscholl & Grégoire Sutre. Sujet : Analysis and verification of concurrent programs under mailbox semantics (rapport).
  • 2023 - 2026 : Thèse au au LaBRI (Université de Bordeaux). Sujet : Verification of message passing systems under asynchronous semantics applied to Rust programs. Encadrants : Anca Muscholl & Grégoire Sutre.

Edgar Baucher

  • 2021: Stage de L3 à l’Inria Bordeaux sur de la vectorisation pour le processeur RISC-V. Tuteurs: Adrien CASSAGNE et Denis BARTHOU.
  • 2022: Stage de M1 à Rokken (start-up) au Japon. Optimisation CPU et GPU pour un programme de visualisation 3D d’assistance aux opérations chirurgicales.
  • 2023: Stage de M2 au LaBRI en théorie des graphes (les graphes universels isométriques). Tuteurs de stage: François DROSS et Cyril GAVOILLE.
  • 2023-2026: Thèse au LaBRI en théorie des graphes dans la continuité du dernier stage, avec pour thème: les graphes universels isométriques et leur variantes. Directeur de thèse: François DROSS. Financement: Bourse blanche (EDMI).

Natacha Javerzat

  • 2022 : Stage M1 au LaBRI (Université de Bordeaux). Implémentation de l’algorithme de Jensen pour l’énumération des Méandres. Stage encadré par Vincent Delecroix.
  • 2023 : Stage M2 chez Atoptima (start-up, Bordeaux). Contribution au développement et à la maintenance de Coluna, un framework open-source pour l’implémentation d’algorithmes d’optimisation. Stage encadré par Guillaume Marques.
  • 2023-2026 : Thèse au sein de l’équipe Inria MOSAIC (laboratoire Reproduction et Développement des Plantes, ENS de Lyon) sous la direction de Romain Azaïs et co-encadrée par Benoit Henry (Université de Lille). Le sujet de thèse consiste en la conception et l’implémentation de nouveaux algorithmes pour la simulation de modèles sur réseau (ex : modèle de Potts cellulaire, modèle ferromagnétique d’Ising) et est à la croisée de nombreuses disciplines (combinatoire, probabilités, théorie des graphes principalement).