Carlos Alberto Ramírez Restrepo

Departamento de Electrónica y Ciencias de la Computación
Ext. 8233
  • Doctor en Ingeniería, Universidad del Valle, Cali, Colombia - 2016.
  • Ingeniero de Sistemas, Universidad del Valle, Cali, Colombia - 2009.


  • Pontificia Universidad Javeriana Cali, 2017-presente , tiempo completo.
  • Pontificia Universidad Javeriana Cali,  2015-2016, hora cátedra.
  • Universidad del Valle, 2013-2017, hora cátedra.

Professor Ramirez is interested to study the application and usage of formal models and concurrency theory in the analysis, construction and deployment of Distributed Systems (grid computing, cloud computing, internet of things). He is also interested in the study of algorithms, programming languages (theory and practice), constraint programming and competitive programming. 

Ramírez Restrepo, Carlos Alberto & Pérez, Jorge & Aranda, Jesus & Diaz Juan F. Towards Formal Interaction-Based Models of Grid Computing Infrastructures. In Mauricio Ayala-Rincón, Eduardo Bonelli and Ian Mackie: Proceedings 9th International Workshop on Developments in Computational Models (DCM 2013), Buenos Aires, Argentina, 26 August 2013, Electronic Proceedings in Theoretical Computer Science 144, pp. 57–72.