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.