People

CNRS Research Scientist at LIX, Ecole Polytechnique de Paris. Permanent member of COMETE

Leader of the AVISPA team and Full Professor and Chair of the Department of Science and Engineering of Computing at Pontificia Universidad Javeriana

Leader of the COMETE team and Director of Research (DR2) at INRIA

Full Professor at the School of Computer Science, Universidad del Valle Colombia. Prof. Diaz leads AVISPA members from Universidad del Valle

Head of the Music Representation Research Group at IRCAM-CNRS (Institut de Recherche et de Coordination Acoustique/Musique) unit UMR9912.

Full Professor at the School of Computer Science, Universidad del Valle. He works on expressiveness and verification of concurrent systems.

Head of the Computer Science Program at Universidad Javeriana Cali.

Andrés A. Aristizábal Works on semantics and verification of CCP calculi.

Sophia Knight Plans to work on game semantics for the verification of CCP.

Mauricio Toro Music Improvisation via CCP.

Luis F. Pino MPRI M2-Student École Polytechnique member of COMETE. Works on semantics and verification of CCP calculi.

Diana Hermith Masters student at Universidad Javeriana Cali. Diana works on specification and simulation of biological systems.

Andrés Barco Masters student at Universidad Javeriana Cali. Andres works on constraint models for social interaction.

Jhon Vargas Masters student at Universidad del Valle. John works on definition of spatial capabilities for the CCP model.

Leonardo Naranjo Is planning to work on tools for the simulation of biological systems.

Jonathan Serna Works on model checking.

Michell Guzmán Is planning to work on expressivity in concurrency.