About
Current POsition
Current POsition
Associate Professor (tenured), University of Groningen (NL).
Part-time appointment at CWI, Amsterdam (NL).
previous positions
previous positions
2010 - 2014
2010 - 2014
Postdoctoral researcher
Postdoctoral researcher
Universidade NOVA de Lisboa (PT), working with Luís Caires
2007 - 2010
2007 - 2010
2002 - 2006
2002 - 2006
Research Assistant
Research Assistant
Universidad Javeriana Cali (CO), working with Camilo Rueda and Frank Valencia.
Academic Qualifications
Academic Qualifications
Ph.D. in Computer Science
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
Engineering Degree in Computer Science
Universidad Javeriana Cali (CO). Awarded on Feb 10, 2006.
- Thesis work: “Soft Constraints in Concurrent Constraint Programming” (with Alberto Delgado).
- Supervisor: Camilo Rueda
- Laureate thesis distinction (outstanding research) by the Council of the Engineering School.
Organizations & Editorial Activity
Organizations & Editorial Activity
ACM SIGLOG - ACM SIGPLAN - ETAPS (Member) - VERSEN (Member)
SIGLOG News (Editor of the Section on "Conference Reports")
My old website is available here.