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
( Chercheur )

Eric Goubault
( Enseignant-chercheur, EP )

Emmanuel Haucourt
( Chercheur )

Samuel Mimram
( Chercheur, EP )

Sylvie Putot
( Enseignant-chercheur, EP )

Associated or temporary researchers

Benjamin Martin
( Post-doctorant )

Adina Marlena Panchea
( Post-doctorant )

Aurelien Sagnier
( Post-doctorant )

PhD students

Thibaut Benjamin
( Doctorant )

Simon Forest
( Doctorant )

Maxime Jacquemin
( Doctorant )

Bibek Kabi
( Doctorant )

Jeremy Ledent
( Doctorant )