Laboratoire d'informatique de l'École polytechnique

Web site

Cosynus

Scientific pole: Proofs and Algorithms

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

Titouan CARETTE (Polytechnique)

Constantin ENEA (Polytechnique)

Eric Goubault (Polytechnique)

Emmanuel Haucourt (Polytechnique)

Samuel Mimram (Polytechnique)

Sergio Mover (Polytechnique)

Sylvie Putot (Polytechnique)

PhD students

Nathan CHICHE (Polytechnique)

Aloysio GALVAO LOPES (Polytechnique)

Elies HARINGTON (Polytechnique)

Bernardo HUMMES FLORES (Polytechnique)

Mathilde JEANNIN (Polytechnique)

Emile OLEON (Polytechnique)

Administrative and technical staff

Vanessa Molina Magana (Polytechnique)

Interns and apprentices

Daniela COJOCARU (Polytechnique)