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)
Namratha Reddy GANGAMREDDYPALLI (Polytechnique)
Elies HARINGTON (Polytechnique)
Bernardo HUMMES FLORES (Polytechnique)
Mathilde JEANNIN (Polytechnique)
Emile OLEON (Polytechnique)
Mehdi ZADEM (Polytechnique)
Administrative and technical staff
Vanessa Molina Magana (Polytechnique)
Interns and apprentices
Vivien DUCROS (Polytechnique)
Louise LECLERC (Polytechnique)