Research output per year
Research output per year
Overview
Personal profile
Es ingeniero de sistemas y doctor en Ingeniería de la Universidad del Valle. Está interesado en estudiar el uso y aplicación de modelos formales y teoría de concurrencia en el análisis, construcción y despliegue de sistemas distribuidos (computación grid, computación en la nube, internet de las cosas) y sistemas complejos. También está interesado en el estudio de algoritmos, lenguajes y paradigmas de programación (teoría y práctica), programación por restricciones y la programación competitiva. Actualmente está vinculado al proyecto PROMUEVA financiado por el Sistema General de Regalías y que busca desarrollar modelos formales que permitan representar y analizar fenómenos de polarización en redes sociales, así como aspectos de privacidad.
Education
PhD, Doctor of Engineering
Award Date: 26 Nov 2016
Bachelor, systems engineer
Award Date: 07 Nov 2009
Associated academic programs - Cali
- Doctorate in Engineering and Applied Sciences
- Specialization in Software Engineering
- Mechanical Engineering
- Systems Engineering
- Master's Degree in Software Engineering
Fingerprint
Dive into the research topics where Carlos Alberto Ramirez Restrepo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Unified opinion formation analysis in rewriting logic
Olarte, C., Ramírez, C., Rocha, C. & Valencia, F., Jan 2026, In: Journal of Logical and Algebraic Methods in Programming. 148, 101095.Research output: Contribution to journal › Article › peer-review
Open Access -
Algorithmic Analysis of Event-B in Rewriting Logic
Olarte, C., Osorio, D., Ramírez, C. & Rocha, C., 08 Jun 2025, NASA Formal Methods - 17th International Symposium, NFM 2025, Proceedings. Dutle, A., Humphrey, L. & Titolo, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 275-293 19 p. (Lecture Notes in Computer Science; vol. 15682 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A rewriting logic semantics for the analysis of P programs
Durán, F., Ramírez, C., Rocha, C. & Pozas, N., Mar 2025, In: Journal of Logical and Algebraic Methods in Programming. 144, 101048.Research output: Contribution to journal › Article › peer-review
Open Access3 Scopus citations -
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
Olarte, C., Ramírez, C., Rocha, C. & Valencia, F., 2024, Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers. Ogata, K. & Martí-Oliet, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 104-123 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14953 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access3 Scopus citations -
Session-based concurrency in Maude: Executable semantics and type checking
Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., Jun 2023, In: Journal of Logical and Algebraic Methods in Programming. 133, 100872.Research output: Contribution to journal › Article › peer-review
-
PROMUEVA: Investigación en Modelos Computacionales de Redes Sociales Aplicados a la Polarización en el Valle del Cauca
Valencia Posso, F. D. (PI), Aranda Bueno, J. A. (CoI), Bucheli Guerrero, V. A. (CoI), Diaz Frias, J. F. (CoI), Duque Agudelo, R. A. (CoI), Jaramillo Ruiz, F. (CoI), Ramirez Restrepo, C. A. (CoI), Rocha Niño, H. C. (CoI), Sierra Suarez, L. P. (CoI) & Tobon Llano, L. E. (CoI)
17/08/22 → 16/08/26
Project: Research
-
Investigación en modelos computacionales de redes sociales aplicados a la polarización en el valle del cauca
Valencia Posso, F. D. (PI), Jaramillo Ruiz, F. (CoI), Ramirez Restrepo, C. A. (CoI), Rocha Niño, H. C. (CoI), Sierra Suarez, L. P. (CoI) & Tobon Llano, L. E. (CoI)
17/08/22 → 17/08/26
Project: Research
-
Probabilistic and symbolic tools for p program verification
Rocha Niño, H. C. (PI) & Ramirez Restrepo, C. A. (CoI)
01/10/22 → 30/11/24
Project: Research