Education - PhD in Computer Science (University of Bologna, 2010). Dissertation: “Higher-Order Concurrency: Expressiveness and Decidability Results” Supervisor: Prof. Davide Sangiorgi (http://www.cs.unibo.it/~sangio/) - Engineering Degree in Computer Science (Universidad Javeriana - Colombia, 2006). Supervisor: Prof. Camilo Rueda. (http://cic.puj.edu.co/~crueda/camilo/Home.html) Positions at CITI / NOVA LINCS: - PostDoc Researcher funded by FCT (BPD grant) - (Jan 2013 - Mar 2014). - PostDoc Researcher at CMU-PT project INTERFACES - (Apr 2010 - Dec 2012). ORCID: https://orcid.org/0000-0002-1452-6180 Google Scholar: https://scholar.google.com/citations?user=NJ4UhIwAAAAJ