Pasar al contenido principal
Banner Profesores

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.

Perfil

Formación académica

Doctorado
Universidad del Valle
Doctorado en Ingeniería - Énfasis en Ciencias de la Computación
Agosto 2009 - Noviembre 2016
An Approach to the Formal Modeling of Grid Computing

Pregrado
Universitario Universidad del Valle
Ingeniería de sistemas y computación
Agosto 2004 - Octubre 2009
Prototipo basado en agentes inteligentes y restricciones para simular el comportamiento del mercado de electricidad colombiano

Secundario 
Col. Fundación Santa Isabel De Hungría
Septiembre 1998 - Julio 2004

Experiencia profesional

Pontificia Universidad Javeriana Cali
Dedicación: 40 horas Semanales Enero de 2017

Universidad del Valle Sede Tuluá
Dedicación: 16 horas Semanales Febrero de 2016 Junio de 2017

Pontificia Universidad Javeriana Cali
Dedicación: 6 horas Semanales Enero de 2015 Diciembre de 2016

 

Reconocimientos

  • Tesis Laureada
    Universidad del Valle - Agosto de 2009

 

Programas académicos

En la Javeriana Cali estamos convencidos de que la educación es clave a la hora de cambiar la realidad del planeta. Conoce nuestra oferta académica e identifica el programa con el que podrás aportar a la transformación de tu entorno.

*

Participación académica

Departamentos

  • Departamento de Electrónica y Ciencias de la Computación

Asignaturas

  • Bases Formales de Computación
  • Árboles y Grafos
  • Introducción a la Programación