Skip to content

Research facility · founded 1988

Laboratoire d'Informatique de l'École Polytechnique

Palaiseau, France · lix.polytechnique.fr

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 5 164
Works, last 5 years: 1 328
h-index: 133
Scientists listed: 0
Grants since 2016: 5

Strongest research topics

Logic, programming, and type systems946Computer Science
Complexity and Algorithms in Graphs527Computer Science
Formal Methods in Verification469Computer Science
Advanced Combinatorial Mathematics405Mathematics
Advanced Algebra and Logic398Computer Science
Polynomial and algebraic computation376Computer Science