About Me


I completed an engineering degree in Computer Science from the Pontificia Universidad Javeriana in Cali, Colombia, between years 2010 and 2015. My undergraduate thesis involved developing a formal framework for the transference of properties between session-based models of concurrency and declarative models of concurrency. My thesis was directed by Dr. Jorge Pérez and Dr. Camilo Rueda.


During my studies in the Pontificia Universidad Javeriana I became a member of the AVISPA research group and learned about declarative models for concurrency and about automatic theorem proving with the Coq Proof Assistant. Eventually I became involved with session-based models for concurrency and began researching about the transference of properties between declarative and session-based models for concurrency. This eventually led to an internship at the University of Groningen under Dr. Jorge Pérez, which led to the satisfactory development of my bachelor thesis.

Also, my work in declarative models of concurrency led to another visit to the École Polytechnique in Paris, to work under Dr. Frank Valencia in epistemic and spatial declarative models for concurrency. This led to a tool that is being developed to simulate the calculus proposed by Dr. Valencia.

During my time as a student in the Pontificia Universidad Javeriana I worked as a teaching assistant for the following courses:

  • Logic in Computer Science
  • Foundations and structures of programming
  • Objective Oriented Programming
  • Formal Development of Software


I also run a personal blog: The Discreet Lambda, where I post about diverse topics related to computer science, mathematics and logic.