Education

Ph.D. in Informatics.
Laboratory for Foundations of Computer Science (LFCS).
School of Informatics. College of Science and Engineering.
University of Edinburgh, Scotland, United Kingdom, 2011.
Thesis: On Bisimulation and Model-Checking for Concurrent Systems with Partial Order Semantics.
Supervisors: Dr. Julian Bradfield and Dr. Ian Stark.
Doctoral Committee: Dr. Julian Bradfield, Dr. Ian Stark, and Prof. Colin Stirling.
Evaluation Committee: Dr. Richard Mayr and Prof. Mogens Nielsen.

Engineering degree in Computer Science.
Pontificia Universidad Javeriana, Cali, Colombia, 2006.
Honour distinction for academic excellence.
Honour distinction for excellence in graduation work.
Dissertation: Applying Concurrent Constraint Programming to Bioinformatics: An Exploratory study.
Supervisor: Prof. Camilo Rueda.

Engineering degree in Electronics.
Pontificia Universidad Javeriana, Cali, Colombia, 2005.
Honour distinction for academic excellence.
Senior Project: Design and Implementation of a Pipelined Processor.
Supervisor: Dr. Eugenio Tamura.