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
• Nicolas Emilio Bordenabe
• Bernadette Charron-Bost
• Konstantinos Chatzikokolakis
• Raluca Diaconu
• Jeremy Dubreil
• Luis Fernando Pino Duque
• Ehab Elsalamouny
• Martinelli Fernan
• Ivan Gazeau
• Marco Giunti
• Sardaouna Hamadou
• Mario Sergio Ferreira Alvim Junior
• Sophia Knight
• Christelle Lievin
• Matteo Mio
• Thomas Nowak
• Catuscia Palamidessi
• Marie-Aude Steineur
• Marco Stronati
• Frank Valencia