Assistant professor (tenure track), University of Groningen (NL)
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.
Academic QualificationsPh.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.
Coauthors (in alphabetic order)