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/