LRT – Software, Networks and Real-Time

Research topics:

  • Algorithms and models for networks
    • Security and quality of service in wireless networks (IoT networks, Internet of Vehicles, drone networks)
    • Blockchain-based distributed trust models for networks,
    • Resource prediction and management, Access control in next-generation mobile networks (5G/5G+/6G, Cloud-RAN) and satellite networks,
    • Fault tolerance models and anomaly detection.
  • Software, systems, and applications:
    • Plagiarism detection,
    • Security of binaries and IoT systems (shellcode, reverse engineering, OS),
    • Urban digital twins,
    • IoT platforms for smart cities,
    • Improvement of the Java platform,
    • Service choreography in the Internet of Things.
  • Algorithms and models for real-time systems
    • Design and analysis of scheduling algorithms,
    • Formal methods,
    • Algorithm and architecture matching (optimization and implementation),
    • Multiprocessor architecture (CPU, GPU, NoC),
    • Constrained execution architecture (energy, OS cost, security)

COMBI – Algebraic combinatorics and symbolic computation

Algebraic combinatorics lies at the intersection of certain branches of mathematics (representation theory, combinatorics, probability), computer science (formal computation, algorithms) and their applications (mainly in physics).

ADA – Discrete Algorithms and Applications

Research topics

Algorithms for combinatorial structures and algorithms for bioinformatics

The theme Algorithms for combinatorial structures and algorithms for bioinformatics covers a broad spectrum and concerns work related to algorithms for bioinformatics, graph and text algorithms, and parameterized complexity.

Algorithmic and combinatorial geometry

The Algorithmic and combinatorial geometry theme aims to develop efficient algorithms for geometric and topological problems, as well as to study the underlying combinatorial structures and explore the many links with related areas of mathematics and computer science. The team specializes in the algorithmic study of objects from low-dimensional topology (surfaces, knots, 3-manifolds).

Linguistics for language processing

The topic of linguistics for language processing covers activities involving syntactic and semantic description, the production of lexical and grammatical databases, and their applications in natural language processing.

Research support

Soutien à la recherche

Modèles et algorithmes

MOA est une ancienne équipe du LIGM. Elle s’est scindée en 2022 en ADA et BAAM.

Bases de données, Automates, Analyse d’algorithmes et Modèles

La recherche de l’équipe BAAM autour de deux pôles principaux: l’analyse d’algorithmes (complexité en moyenne, combinatoire analytique et énumérative), et les méthodes formelles (automates, logique, jeux) motivés par la vérification, les bases de données et la représentation des connaissances.

Thèmes de recherches

  • Bases de données
  • Analyse d’algorithmes
  • Automates et logique
  • Modèles finis et infinis

Équipe administrative

Méthodes et Modèles pour le Signal, l’Image et les Données

L’équipe Méthodes et Modèles pour le Signal, l’Image et les Données a constitué l’une des composantes du Laboratoire Systèmes de Communication jusqu’en 2001. Après avoir été affilié au LTCI (UMR 5141, CNRS ENST), le groupe a rejoint en 2004 le laboratoire d’Informatique de l’Institut Gaspard Monge (UMR 8049, CNRS LIGM).

Thèmes de recherche:

  • Matrices aléatoires, statistiques en grandes dimensions.
  • Analyses des méthodes d’apprentissage profond.
  • Transport optimal et analyse topologique des données et
    applications.
  • Optimisation stochastique, optimisation en ligne et applications aux réseaux.
  • Théorie de l’information et applications aux réseaux.

Algorithmique Discrète et Applications

Thèmes de recherches

Algorithmique des structures combinatoires et algorithmique pour la bioinformatique

Le thème Algorithmique des structures combinatoires et algorithmique pour la bioinformatique couvre un large spectre et concerne les travaux qui se retrouvent autour de l’algorithmique pour la bioinformatique, l’algorithmique des graphes et du texte et la complexité paramétrée.

Géométrie algorithmique et combinatoire

Le thème Géométrie algorithmique et combinatoire vise à développer des algorithmes efficaces pour des problèmes de nature géométrique et topologique, ainsi qu’à étudier les structures combinatoires sous-jacentes et explorer les nombreux liens avec des domaines mathématiques et informatiques connexes. L’équipe est particulièrement spécialisées dans l’étude algorithmique des objets issus de la topologie de basse dimension (surfaces, nœuds, 3-variétés).

Linguistique pour le traitement des langues

Le thème Linguistique pour le traitement des langues recouvre des activités de description syntaxique et sémantique, la production de bases de données lexicales et grammaticales, et des applications de celles-ci au traitement automatique des langues.