- Apr 2010 – March 2014: Postdoc researcher at NOVA University of Lisbon (PT) working with Luís Caires.
- Jul 2012: Invited Visiting Professor at the School of Computer Sciences (ECI) - Dept. of Comp. Science, University of Buenos Aires (AR).
- Jan 2007 – Dec 2009: PhD Student at Dept. of Computer Science, University of Bologna (IT). Supervisor: Davide Sangiorgi.
- Dec 2002 – Dec 2006: Research Assistant at AVISPA Group, Universidad Javeriana Cali (CO), working with Camilo Rueda and Frank Valencia.
Ph.D. in Computer Science
University of Bologna (IT). Awarded on May 5, 2010.
- Thesis: “Higher-Order Concurrency: Expressiveness and Decidability Results".
- Supervisor: Davide Sangiorgi. Reviewers: Uwe Nestmann and Nobuko Yoshida.
Engineering Degree in Computer Science
Universidad Javeriana Cali (CO). Awarded on Feb 10, 2006.