This is the homepage of Carlos Ramírez. I am an Assistant Professor in the Department of Electronics and Computer Science at thePontificia Universidad Javeriana, in Cali (Colombia).
I earned a B.S. degree in Informatics from theUniversidad del Valle(Cali), and a Ph.D. degree in Computer Science from theUniversidad 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.