Comete

Research topics

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

Members

• Miguel Andres
• Andres Aristizabal
• Andres Aristizabal
• Bernadette Charron-Bost
• Konstantinos Chatzikokolakis
• Raluca Diaconu
• Jeremy Dubreil
• Luis Fernando Pino Duque
• Ehab Elsalamouny
• Ivan Gazeau
• Marco Giunti
• Mario Sergio Ferreira Alvim Junior
• Sophia Knight
• Thomas Nowak
• Catuscia Palamidessi
• Marie-Aude Steineur
• Marco Stronati
• Frank Valencia
• Sardaouna Hamadou