Activities

Tools

• As part of my internship project at Google (summer 2014) I designed and implemented a Type Transformation Language for the Closure Compiler (an Open Source JavaScript to JavaScript compiler) to annotate the types of generic JavaScript functions. The main files can be found following the next links: for the parser and the interpreter.
• CCS!Stepper, an interpreter for CCS with replication written in Mozart/Oz (compiled using v. 1.3.8).

Program Committees

• PC member of ICE 2016.

Projects

I was part of the following research projects/grants:

• PACE, a project founded by the ANR. (2013-15)
• MEALS, a project founded by the European Union (FP7). (2011-15)
• REACT+, a project founded by the COLCIENCIAS, Javeriana University, École Polytechnique and IRCAM. (2011-13)
• REACT, a project founded by the COLCIENCIAS, Javeriana University, École Polytechnique and IRCAM. (2009-2011)
• FORCES, a project funded by INRIA and COLCIENCIAS. (2008-10)

Talks

• A seminar on Reasoning Techniques for Concurrent Constraint Programming at the University of Cagliari. (2015)
• A set of presentations at Universidad del Valle at the Computer Science student association (CENESIS), and at the introductory course CS101, as well as at the Engineering Week (Semana de la Ingeniería). (2014)
• Several talks at École Polytechnique during the course of my PhD studies. (2011-2014)
• Basic Concepts on Well Structured Transition Systems at the Comète-Parsifal seminar. (2010)

Miscellaneous

Scientific Genealogy Tree (Featuring Leibniz and Copernicus)

Sports

I was part of the regional Wushu team in the Colombian Nationa Wushu and Kung-Fu tournaments from 2005 to 2007. In 2007 I won a gold medal in the Nanquan category. Below you will find me in 2007 holding a Nandao :-).

"Don't complain, just work harder" -- Anonymous