Visite des étudiant·es de l’ENS Paris-Saclay

 

Les étudiant·es de l’École Normale Supérieure Paris-Saclay en visite au Loria pour deux journées d’immersion dans les équipes de recherche.

Le Loria a eu le plaisir d’accueillir une vingtaine d’étudiantes et étudiants de l’ENS Paris-Saclay, issus du double diplôme de Licence 3 en mathématiques et informatique. Ce parcours, proposé par l’ENS Paris-Saclay, forme des profils polyvalents, alliant culture mathématique et expertise en informatique théorique et appliquée. Les étudiants bénéficient d’un enseignement de haut niveau, les préparant aussi bien à la recherche qu’à des carrières dans l’industrie.

Ces deux journées d’échanges et de découvertes ont offert aux étudiants une immersion concrète dans le monde de la recherche en informatique. Au programme : des exposés thématiques, des visites « bureaux ouverts » au sein des équipes et des rencontres avec des chercheurs et doctorants. Une occasion de découvrir la diversité des domaines de recherche et de mieux comprendre le fonctionnement d’un laboratoire. Cette expérience leur permet d’enrichir leur réflexion sur leur orientation future.

Différents exposés et visites ont rythmé ces deux journées de rencontres :

Mercredi 11/02 :

  • 11h45-12h45: Présentation de l’INRIA et du Loria
    • par Isabelle Chrisment, directrice du Centre Inria de l’Université de Lorraine & Abdelkader Lahmadi, responsable du département D3, Réseaux, systèmes et services, au Loria
  • 13h00-14h00: Repas à la cantine du laboratoire
  • 14h00-16h00: Visites des équipes
    • 14h00-14h40: LARSEN, MOCQUA (quantique), MosAIk, PESTO
    • 14h40-15h20: LORELEY, CARAMBA, SEMAGRAMME, MOSEL-VERIDIS
    • 15h20-16h00: MOCQUA (quantique), Hucebot, PIXEL, TYPES
  • 16h00-16h30: Pause café
  • 16h30-17h10: Visites des équipes
    • 16h30-17h10: CARAMBA, CAPSID, MosAIk, CARBONE

Jeudi 12/02 :

  • 09h15-11h15: Visites des équipes
    • 09h15-09h55: PESTO, LARSEN, LORELEY, TYPES
    • 09h55-10h35: GAMBLE, SEMAGRAMME, RESIST, MOSEL-VERIDIS
    • 10h35-11h15: GAMBLE, RESIST, MOCQUA(systèmes dynamiques), MosAIk
  • 11h30-13h00: Visites des plateformes
  • 13h00-14h30: Buffet
  • 14h30-15h50: Visites des équipes
    • 14h30-15h10: NEURORHYTHMS, CARAMBA, MOSEL-VERIDIS, CARBONE
    • 15h10-15h50: PIXEL, Hucebot, PESTO, CAPSID
  • 15h50-16h15: Pause café
  • 16h15-17h15: Exposé plénier
    • 15 ans de factorisation de RSA, par Emmanuel Thomé

Listes équipes visitées :

  • CAPSID: Algorithmes de calcul pour les structures et les interactions des protéines
  • CARAMBA: Cryptologie, arithmétique : matériel et logiciel
  • CARBONE: Études avancées sur les programmes malveillants et leur écosystème
  • GAMBLE: Geometric Algorithms & Models Beyond the Linear and Euclidean Realm
  • Hucebot: Robotique centrée sur l’humain
  • LARSEN: Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
  • LORELEY: Systèmes collaboratifs distribués de confiance et à grande échelle
  • MOCQUA: Modèles de calcul classiques et quantique
  • MosAIk: différentes perspectives sur l’IA
  • NEURORHYTHMS: Analyse et modélisation des systèmes neuronaux par une approche de neurosciences systémiques
  • PESTO: Techniques de preuve pour les protocoles de sécurité
  • PIXEL: Géométrie et lumière
  • RESIST: Supervision des réseaux et des services dynamiques
  • SEMAGRAMME: Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles
  • TYPES: Logique, Théorie de la démonstration et programmation
  • MOSEL-VERIDIS: Méthodes formelles et applications

 

Merci aux 21 étudiants présents et à leur enseignante, aux équipes du Loria et de l’INRIA et aux organisateurs : Didier Galmiche (équipe TYPES), Dominique Larchey-Wendling (équipe TYPES), Stephan Merz (équipe VeriDis), Sophie Touret (équipe VeriDis), et Alexandre Debant (équipe Pesto) pour leur implication qui a contribué la réussite de ces journées.

Pour en savoir plus sur le département d’enseignement et de recherche en informatique de l’ENS Paris-Saclay : informatique.ens-paris-saclay.fr.

Plus d’infos sur le Centre Inria de l’Université de Lorraine : https://www.inria.fr/fr/centre-inria-universite-lorraine

Plus d’infos sur le Loria : https://www.loria.fr/fr/