About

Current POsition

Assistant professor (tenure track), University of Groningen (NL).

Part-time appointment at CWI, Amsterdam (NL).

(Photo credit: Pixabay)

previous positions

2010 - 2014

Postdoctoral researcher

Universidade NOVA de Lisboa (PT), working with Luís Caires

(Photo credit: Pixabay)

2007 - 2010

PhD student

University of Bologna (IT). Supervisor: Davide Sangiorgi.

(Photo credit: Pixabay)

2002 - 2006

Research Assistant

Universidad Javeriana Cali (CO), working with Camilo Rueda and Frank Valencia.

(Photo credit: Pixabay)

Academic Qualifications

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.

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.

(Photo credit: Pixabay)

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.