CSDAI Department

Institut Polytechnique de Paris

Group cosynus

cosynus

LIX, Ecole Polytechnique

Themes: foundations of comuter science; digital trust

Cosynus develops techniques in order to model and statically analyze programs and systems, study their invariants, temporal properties, and guarantee their correctness. We mainly focus on two paradigms which are known to be intrinsically difficult to cope with: numerical systems and concurrent systems

Contact person: Eric Goubault, http://www.lix.polytechnique.fr/~goubault/

Web site: http://www.lix.polytechnique.fr/cosynus/