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)