Laboratoire d'informatique de l'École polytechnique

Web site

Comète

Activities

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.

Permanent researchers

Associated or temporary researchers

PhD students

Patrick Lambein (Polytechnique)

Anna Pazii (Polytechnique)

Santiago Quintero Pabon (Polytechnique)

Administrative and technical staff