CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Members  \  Member Page Login  
banner bottom
File Top
Jorge A. Pérez
Jorge A. Pérez's Photo

Software Systems

Country: Colombia

Position: Associate Researcher

Email: japerezp(at)

Personal Web Page


  • 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.

    Seminar @ CITI: Reversing execution in higher order pi-calculus
  • Cinzia Di Giusto, INRIA (France)
    [ 29 Nov 2010 to 3 Dec 2010 ]

    The purpose of the visit was to continue with our ongoing work on the decidability and expressive power of process calculi.

    Seminar @ CITI: Modeling components and behaviors with the CAB language
File Bottom