Le Laboratoire d'informatique de l'X (LIX)

Algorithmique, réseaux de télécommunications, méthodes formelles/logiques.

117 chercheurs et enseignants-chercheurs
13 personnels de soutien

Directeur du laboratoire: Mireille Regnier
Tutelles: École polytechnique, CNRS

Axes de Recherche

>Méthodes formelles/logiques
>Cryptologie
>Bio-informatique
>Ingénierie des systèmes complexes
>Modèles de la concurrence
>Science des données
>Recherche opérationnelle
>Réseaux de communication
>Traitement des images

Applications

>Systèmes complexes
>Réseaux électriques intelligents
>Objets connectés