Andrés A. Aristizábal P.


I’m currently a lecturer and researcher at Pontificia Universidad Javeriana Cali. I obtained my PhD. from Laboratoire d'Informatique de l'Ecole Polytechnique (LIX), under supervision of Catuscia Palamidessi and Frank Valencia.

My research interests are within theoretical computer science. In particular, process calculi and their applications to security, concurrency theory, formal methods, reactive systems, bisimulation, etc.

Here you can find my curriculum vitae. (PDF)


Contact Information


aaaristizabal at

andresaristi at

andresaristi82 at


Office: 57-2 3218200


Old Website:


Grupo Avispa, P. Universidad Javeriana Cali

Calle 18 No. 118-250 Cali, Colombia