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

Ulrich Fahrenberg (Polytechnique)

Eric Goubault (Polytechnique)

Emmanuel Haucourt (Polytechnique)

Samuel Mimram (Polytechnique)

Sergio Mover (Polytechnique)

Sylvie Putot (Polytechnique)

Associated or temporary researchers

PhD students

Thibaut Benjamin (Polytechnique)

Francois Bidet (Polytechnique)

Pierre-Yves Coursolle (Polytechnique)

Simon Forest (Polytechnique)

Jeremy Ledent (Polytechnique)

Administrative and technical staff

Philippe MIRANDA DE MOURA (Polytechnique)