Home

This is the homepage of Carlos Ramírez. I am an Assistant Professor in the Department of Electronics and Computer Science at the Pontificia Universidad Javeriana, in Cali (Colombia). 


I earned a B.S. degree in Informatics from the Universidad del Valle (Cali), and a Ph.D. degree in Computer Science from the Universidad del Valle. My main research interests are in studying 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) and Complex Systems. I am also interested in the study of Algorithms, Programming Languages and Paradigms (theory and practice), Constraint Programming, and Competitive Programming.


You can contact me by: