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/
