CSDAI

Department of Institut Polytechnique de Paris

Group COMETE

Group Comète

LIX, Ecole Polytechnique

Themes: digital trust

Comète focuses on the design, implementation and applications of formal languages for mobile, secure, stochastic and distributed systems. We are particularly interested in formal languages based on process calculi.

Contact person: Catuscia Palamidessi, http://www.lix.polytechnique.fr/~catuscia/

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