PhD in Computer Science (University of Bologna, 2010).
Dissertation: “Higher-Order Concurrency: Expressiveness and Decidability Results”
Supervisor: Prof. Davide Sangiorgi.
Engineering Degree in Computer Science (Universidad Javeriana - Colombia, 2006). Supervisor: Prof. Camilo Rueda.
Positions at CITI
PostDoc Researcher funded by FCT (BPD grant) - (Jan 2013 - Mar 2014).
PostDoc Researcher at CMU-PT project INTERFACES - (Apr 2010 - Dec 2012).
{ Visits hosted at CITI }
Claudio Mezzina, INRIA-Grenoble (France) [ 5 Dec 2011 to 9 Dec 2011 ]
The purpose of the visit is to explore new collaborations in the context of higher-order process calculi with constructs for dependability.