I am an Instructor in the Department of Informatics of the Escuela Colombiana de Ingeniería (Colombia), currently in commission until finishing my Ph.D. studies. I teach, mainly, Discrete Math, Algorithms and Software Engineering courses.

I got my Bachelor degree as Informatics Engineer from the Universidad de los Andes (Colombia), working under the supervision of Rodrigo Cardoso. The title of my bachelor thesis was: Java-: Axiomatic Semantics for a Concurrent Subset of Java. I completed my Master studies working in the Software Construction Group at the Universidad de los Andes, with  Rubby Casallas and Rafael García as thesis advisors. There, I designed a formal calculus for service assemblage and component composition, based on an extension of the pi-calculus, giving formal semantics to Gaita, a model of services and components.

I often work as a software architect consultant in Colombia's public and private sector; I have been involved in at least 8 large scale successful software developments.

I have mainly enjoyed playing soccer all my life ... during my college years I learned how to play billiard and dominoes -which I enjoy very much too- !!!