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.

Amibio Algorithms and models for integrative biology

The AMIBio team is a research group in Bioinformatics, interested in the development of computational/algorithmic methods for molecular and structural biology, with a specific focus and expertise on RiboNucleic Acids (RNAs). Starting from genomic sequences and high-throughput sequencing data, they aim to decipher the structure(s) of macromolecules, their interactions, evolution and, more recently, rational design towards their utilization in synthetic biology, biotechnology and health.

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 analytique 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.

GeomeriX Geometry powered numerics

GeomeriX is an Inria project-team whise overall scientific objective is to contribute both foundational and practical methods for data processing through a geometric perspective. We aim at producing modern computational tools for the furtherance of scientific exploration, allowing the analysis, processing, and simulation of a variety of data. The project-team’s focus on geometry offers a common language and tight intellectual cohesion, while promoting wide scientific applications due to the pervasiveness of topology and geometric aspects in topics from computer graphics, simulation, dynamical systems, and data science.

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.

OptimiX Optimization

The OptimiX team’s researchers are interested in Operation Research, mathematical programming, formal language, linear and non-linear optimization, and more generally in mathematics for decision-making in different forms.

We develop mathematical models and methods to study/analyze/solve practical problems from different application areas to support organizations in their decision-making processes. The application areas are diverse: transport, energy, environment, telecommunications, engineering, finance, bioinformatics, natural language processing, data science, etc.

Partout Proof Automation and RepresenTation: a fOundation of compUtation and deducTion

The PARTOUT project is interested in the principles of deductive and computational formalisms. In the broadest sense, we are interested in the question of trustworthy and verifiable meta-theory.

VISTA Visual Worlds: Temporal Analysis, Animation and Authoring

VISTA is a Computer Graphics and Computer Vision group developing novel high level representations of visual and virtual contents for either fully automatic analysis and/or interactive real-time modification of 2D videos and 3D animated content. On the one hand, we aim at proposing fully automatic understanding of existing visual material - including multiple modalities vastly available in videos-, extract spatio-temporal information, descriptive narrations from them and infer semantic concepts. On the second hand, we wish to place efficient new visual representations for 2D and 3D virtual models at the center of the interactive process with humans. These representations should be seen as a responsive, animation ready medium on which information is automatically extracted and analysed, while humans can freely interact, add elements and refine them in space and time according to their wish.