Laboratoire d'informatique de l'École polytechnique

Web site

Cosynus

Activities

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

Permanent researchers

Eric Goubault (Polytechnique)

Emmanuel Haucourt (Polytechnique)

Samuel Mimram (Polytechnique)

Sergio Mover (Polytechnique)

Sylvie Putot (Polytechnique)

Associated or temporary researchers

PhD students