Outils pour utilisateurs
Ceci est une ancienne révision du document !
Table des matières
Sur cette page, vous pourrez trouver des informations sur nos anciens élèves qui ont accepter de les partager. Cette page recense leur parcours après le master (et éventuellement leur formation initiale quand cela est pertinent) et donne éventuellement un lien vers leur page professionnelle. Le but est de donner un aperçu par l’exemple de ce à quoi mène le parcours et d’encourager les étudiants actuels à contacter les prédécesseurs dont le parcours les intéresse.
Les adresses de contact n’apparaissent pas ici (pour éviter les spambots). Contactez-moi si vous souhaitez les contacter. Certains disposent par ailleurs de page professionnelles listées ici, et vous pourrez sans doute y trouver leur adresse.
Promo 2018-2020
- Arthur Jaquard: Page professionnelle
- Stage, puis Thèse (2020 - ?) avec Thomas Colcombet sur «Algèbre et langages réguliers, appliqués aux langages d’arbres infinis».
- Hugo Jaquard:
- Stage 2020 : «Apprentissage de langages réguliers à partir d’exemples positifs» avec Nicolas Basset et Thao Dang à Vérimag (Grenoble).
- 2020-2021: Master 2 mathématiques groupes et géométrie à Grenoble.
- Clément Romac:
- Stage 2020 à l’Inria Bordeaux dans l’équipe FLOWERS sur l’apprentissage par renforcement.
- 2020-2021: Ingénieur de recherche à l’Inria Bordeaux (même équipe).
Promo 2017-2019
- Fabien Jacques:
- 2019 - ? : Thèse au LIRMM (Montpellier), dans l’équipe Algorithmes, Graphes et Combinatoire avec Mickaël Montassier, Pascal Ochem et Alexandre Pinlou.
- Jonathan Narboni: Page professionnelle
- 2019 - ? : Thèse au LaBRI, dans l’équipe Combalgo, thème Graphes et Optimisations, avec Frantisek Kardos et Éric Sopena.
- Nourredine Mouhoub: Page Professionnelle
- 2019 - ? : Thèse au LaBRI, dans l’équipe Progress, avec M. Lamine Lamali et Damien Magoni.
Promo 2016-2018
- Virgile Roblès: Page professionelle
- 2018 - ? : Thèse au laboratoire de sûreté et de sécurité des logiciels du CEA de Saclay, sur la «spécification et vérification de propriétés de haut niveau pour les programmes C». La thèse vise à étendre le langage de spécification ACSL utilisé par Frama-c.
Outils de la page
