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
Constantin ENEA (Polytechnique)
Eric Goubault (Polytechnique)
Emmanuel Haucourt (Polytechnique)
Samuel Mimram (Polytechnique)
Sergio Mover (Polytechnique)
Sylvie Putot (Polytechnique)
PhD students
Nathan CHICHE (Polytechnique)
Maria Luiza COSTA VIANNA (Polytechnique)
Aloysio GALVAO LOPES (Polytechnique)
Elies HARINGTON (Polytechnique)
Bernardo HUMMES FLORES (Polytechnique)
Mathilde JEANNIN (Polytechnique)
Roman KNIAZEV (Polytechnique)
Emile OLEON (Polytechnique)
Louis PENET DE MONTERNO (Polytechnique)
Aly-Bora ULUSOY (Polytechnique)
Mehdi ZADEM (Polytechnique)
Administrative and technical staff
Vanessa Molina Magana (Polytechnique)
Srinidhi NAGENDRA (Cnrs)
Interns and apprentices
Hugo MOUTON (Polytechnique)