
Carlos Alberto Ramírez Restrepo
Ingeniería y Ciencias
El profesor Ramirez 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.
Ir a Perfiles y Capacidades
En este espacio podrá conocer el perfil del profesor, incluyendo sus líneas de investigación, proyectos destacados, publicaciones, redes académicas de colaboración, así como sus aportes en docencia, innovación, creación y servicio.