Présentation
Le Laboratoire d’informatique Gaspard-Monge (LIGM) est une unité mixte de recherche (UMR 8049) du CNRS, de l’Université Gustave Eiffel et de l’École des Ponts ParisTech, localisé sur le campus de la cité Descartes à Champs-sur-Marne (bâtiment Copernic, bâtiment ESIEE et bâtiment Coriolis).
Le LIGM a un effectif de personnel permanent d’une centaine de personnes et non permanent d’une soixantaine de personnes.
Le laboratoire est structuré en 6 équipes de recherche : A3SI (Algorithmes, architectures, analyse et synthèse d’images), ADA (Algorithmique discrète et applications), BAAM (Bases de données, automates, analyse d’algorithmes et modèles), COMBI (Combinatoire algébrique et calcul symbolique), LRT (Logiciels, réseaux et temps réel), et MMSID (Méthodes et modèles pour le signal, l’image et les données).
Les membres du LIGM s’impliquent dans les enseignements d’informatique de l’Institut Gaspard-Monge, de l’IUT de Marne-la-Vallée, d’ESIEE Paris et de l’École des Ponts ParisTech
Actualités
Séminaires
10-11-2026 à 14:00
Séminaire ADA/BAAM - Leap generators for composition schemes
Sylvie Boldo
This talk is about the formal verification of numerical programs and algorithms. We will go from the motivations and usefulness of a higher guarantee, to the actual verification of C programs, through the formalization in Rocq of both computer arithmetic and applied mathematics. Applications will range from floating-point algorithms and programs from the literature to the work-in-progress formalization of the finite element method. [+]
03-11-2026 à 14:30
Séminaire ADA/BAAM - Leap generators for composition schemes
Eric Fusy
Boltzmann samplers are an efficient and simple method for the uniform random generation of combinatorial structures in decomposable classes, avoiding the costly precomputation of coefficients in the recursive method. However, since Boltzmann distribution is spread over the whole class, exact-size generators extracted from Boltzmann samplers typically have superlinear (e.g. quadratic) complexity, due to heavy rejection. In this joint work with Carine Pivoteau, we extend the leap generation process to supercritical composition schemes C=AoB, yielding an exact-size sampler of linear time complexity (under conditions on the sampling complexity in A and B). While exact uniformity of the distribution is lost in general, asymptotic uniformity holds: the total variation distance to the uniform distribution is asymptotically c/√n for some explicit c, and can be made smaller using a simple rejection step. [+]
02-06-2026 à 14:00
Séminaire ADA/BAAM - Value Type + Null Restricted Types
Rémi Forax
Since the beginning of Java, developers have faced the tradeoff between the abstraction of Object-Oriented Programming and the performance of primitive types.
OpenJDK's Project Valhalla bridges this gap by introducing value classes, a concept that eliminates the typical memory overhead of a class instance without sacrificing too much.
The presentation also addresses some of the Java ecosystem challenges: the usual backward compatibility, the retrofitting of existing JDK classes (Integer, Optional, etc.) and the evolution toward a parametric JVM able to handle generic collections without type erasure limitations. [+]
Soutenances
26-01-2026 à 14:00
HDR - Carine Pivoteau
Carine Pivoteau soutiendra le lundi 26 janvier 2026 son habilitation à diriger des recherches en informatique intitulée Analysis of Algorithms: Towards a More Realistic Model (Analyse d’algorithmes : vers un modèle plus réaliste), à 14h, en salle 4B125 du bâtiment Copernic. ... [+]
17-12-2025 à 13:30
Thèse - Mohamed Amine Khelassi
Mohamed Amine Khelassi soutiendra sa thèse de doctorat en informatique, intitulée Utilisation de méthodes statistiques pour modéliser et estimer la variabilité temporelle des temps d'exécution des programmes exécutés sur des architectures multi-cœur le 17 décembre 2024 à 13h30 à l'amphi 210 à l'ESIEE. ... [+]
10-12-2025 à 16:15
Thèse - Mohammed-Younes Gueddari
Mohammed-Younes Gueddari soutiendra sa thèse de doctorat en informatique, intitulée High-Dimensional Problems and Applications to Theoretical Ecology: Insights from Statistical Physics le mercredi 10 décembre 2025 à 16h15, dans la salle de séminaire 4B125 du LIGM. ... [+]
29-10-2025 à 14:00
Thèse - Aaron Boussidan
Aaron Boussidan soutiendra sa thèse de doctorat en informatique, intitulée Comparaison automatique de pièces de théâtre à l’aide de distances d’édition et d’alignement, le mercredi 29 octobre 2025 à 14h, dans la salle de séminaire 4B125 du LIGM. ... [+]
Recrutements
Recrutements en cours
Les recrutements récents du laboratoire
02-09-2024 - Recrutement : Daniel Vaz
Daniel Vaz, titulaire d'un doctorat du Max Planck Institute for Informatics de Saarbrücken, a été recruté comme enseignant chercheur par ESIEE Paris, dans l'équipe ADA du LIGM. ... [+]
02-09-2023 - Recrutement : Valentin Bonzom
Valentin Bonzom, docteur de l'université de la Méditerranée, Aix-Marseille II, maitre de conférences à l'Université Sorbonne Paris Nord où il était membre du LIPN, a été recruté comme professeur des universités par l'université Gustave Eiffel, dans l'équipe COMBI du LIGM. ... [+]
01-09-2023 - Recrutement : Cherifa Boucetta
Cherifa Boucetta, titulaire d'un doctorat de l'École Nationale des Sciences de l'Informatique, maitresse de conférences à l'université de Reims Champagne-Ardenne où elle était membre du CReSTIC, a été recrutée comme maitresse de conférences par l'université Gustave Eiffel, dans l'équipe LRT du LIGM. ... [+]
