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

Ulrich Fahrenberg (Polytechnique)

Eric Goubault (Polytechnique)

Emmanuel Haucourt (Polytechnique)

Samuel Mimram (Polytechnique)

Sergio Mover (Polytechnique)

Sylvie Putot (Polytechnique)

PhD students

Francois Bidet (Polytechnique)

Cameron Calk (Polytechnique)

Maria Luiza COSTA VIANNA (Polytechnique)

Pierre-Yves Coursolle (Polytechnique)

Roman KNIAZEV (Polytechnique)

Aly-Bora ULUSOY (Polytechnique)

Mehdi ZADEM (Polytechnique)

Administrative and technical staff

Evelyne Rayssac (Polytechnique)