Laboratoire d'informatique de l'École polytechnique

Teams

AlCo Algorithmes et complexité

L'équipe AlCo travaille sur des problèmes d'algorithmique, d'optimisation et de recherche opérationnelle. Leurs travaux portent à la fois sur des problèmes théoriques (analyse de complexité, comptage de solutions, algorithmes on-line, théorie de l'ordonnancement et satisfaction de contraintes) et sur des méthodes de résolution de problèmes plus appliquées (issus de partenaires industriels : Thales R&T, Thales TAS, Eurocontrol). Ces dernières méthodes sont basées sur des techniques de programmation par contraintes et de programmation linéaire en nombres entiers.

Amib Algorithms and models for integrative biology

L’équipe projet AMIB est un groupe de recherche en bioinformatique muni d’un fort intérêt pour les aspects moléculaires de l’organisation cellulaire, ainsi que d’une forte appétence pour les Acides RiboNucléiques (ARN). Partant des séquences génomique et/ou de données de séquençage haut-débit, ils concentrent leurs efforts sur la structure des macromolécules, leurs interactions, leur évolution et, plus récemment, leur conception (rational design), afin de satisfaire les besoins croissants de la biologie synthétique.

Cedar Rich Data Analytics at Cloud Scale

The CEDAR team studies data management and analytics for complex large data, possibly endowed with rich semantics. The team works to devise highly scalable algorithms and architectures in particular meant for the cloud.

Combi Modélisation combinatoire

L'équipe COMBI s’intéresse aux liens entre combinatoire et géométrie et applique des méthodes algorithmiques et d’énumération à des problèmes issus de contextes variés, allant de la physique statistique à la compression de données ou la topologie énumérative.

Comète Concurrence, mobilité et transactions

L'équipe Comète focalise ses recherches sur la conception, l'implémentation et les applications de langages formels pour les systèmes distribués, mobile et sécurisés.

Cosynus Analyse des programmes et systèmes numériques et distribués

L'équipe COSYNUS travaille sur la sémantique et l'analyse statique des systèmes logiciels, éventuellement distribués, hybrides et cyber-physiques.

Crypto/Grace Algorithmic number theory, coding theory for cryptology

The research areas of our team deal with the construction and the analysis (attacks) of crytographic systems, based of mathematical objets issued from number theory and algebraic geometry: large prime numbers, hyperelliptic and elliptic curves, but also some from coding theory: post-quantum systems, unconditionnaly secure protocoles, etc.

DaSciM Data Science and Mining

The Data Science and Mining (DaSciM) team is part of the Computer Science Laboratory (LIX) of École Polytechnique. In the previous years we have conducted research in the areas of databases and data mining. More specifically in unsupervised learning, advanced data management and indexing, text mining and ranking algorithms.

More recently, we are working in large scale graph mining, text mining and retrieval for web advertising/marketing and recommendations. As well as on applications to bioinformatics via graph kernels for graph similarity. But also in Big Data analytics with time series databases handling for financial data, Multi-attribute time series for indexing/quering.

Moreover our group has a long experience in real-world industrial level software projects in the area of Large Scale Data/Text Mining. Currently we maintain collaborations with large industrial partners working on data science for Big Data projects including structured data, text and graphs.

Another relevant research topic is decision making methods, in particular: mathematical programming, combinatorial optimization, global optimization, graph theory. We are interested both in methodology and applications, with a special focus on applications in energy optimization and computational geometry.

Max Modélisation algébrique

L'équipe Max se concentre sur l'efficacité et la robustesse des algorithmes de calcul symbolique et des outils pour l'algèbre, le calcul différentiel et la géométrie.

Networks Communications hautes performances

L'équipe Networks se concentre aussi bien sur les algorithmes et protocoles de routage que sur l'architecture de réseaux, très grands, très dynamiques ou contraints.

Parsifal Preuves automatiques et raisonnement sur des spécifications logiques

L'équipe PARSIFAL développe et exploite la théorie des preuves, un sujet lancé par Gentzen dans les années 1930, réanimé par Girard dans les années 1980 et 1990, et maintenant appliqué largement aux fondations de l'informatique.

Stream STructure Representation and Extraction for computer Animation and geometric Modeling

STREAM is a Computer Graphics group, tackling geometric modeling and computer animation problems. Our main focus is the extraction and representation of structure contained in static or in dynamic 3D contents. Understanding and modeling structure enables us to process contents in a unified way, were they captured data, simulation results, or rough user input such as sketches. The identified structures and correspondences can be used for meaningful content visualization, manipulation and editing, for fast design of structurally-similar contents, for data completion and replication of details, as well as for shape and motion transfer with automatic adaptation to a new context. Our research benefits from the variety of technical backgrounds of team members, which range from expressive shape design and animation to geometry processing and computational geometry.

Typical Types, logique et calcul

L'équipe TYPICAL développe et exploite la théorie des types, un sujet lancé par De Bruijn et Martin-Löf dans les années 1930 et pour lesquels des systèmes tels que Coq ont été développés et employés avec succès aussi bien dans la recherche académique que dans l'industrie ou à des fins éducatives.