Hoja de vida

Nombre Carlos Alberto Ramirez Restrepo
Nombre en citaciones RAMIREZ RESTREPO, CARLOS ALBERTO
Nacionalidad Colombiana
Sexo Masculino

Formación Académica
  •  
    		•  Doctorado UNIVERSIDAD DEL VALLE
    Doctorado en Ingeniería - Énfasis en Ciencias de la Computación
    Agostode2009 - Noviembrede 2016
    An Approach to the Formal Modeling of Grid Computing
  •  
    		•  Pregrado/Universitario UNIVERSIDAD DEL VALLE
    Ingeníeria de sistemas y computación
    Agostode2004 - Octubrede 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

    Septiembrede1998 - Juliode 2004

    Experiencia profesional
  •  
    		•  PONTIFICIA UNIVERSIDAD JAVERIANA - PUJ - SEDE CALI
    Dedicación: 40 horas Semanales Enero de 2017 de

    Actividades de docencia
    -   Pregrado - Nombre del curso:  Introducción al Modelado, 40 Enero 2018 Junio 2018
    -   Pregrado - Nombre del curso:  Estructuras de Datos, 26 Enero 2018 Junio 2018
    -   Pregrado - Nombre del curso:  Fundamentos y Estructuras de Programación, 40 Enero 2017 Junio 2017
    -   Pregrado - Nombre del curso:  Herramientas Computacionales, 30 Julio 2017 Noviembre 2017
    -   Pregrado - Nombre del curso:  Introducción al Modelado de Sistemas, 30 Enero 2017 Junio 2017
    -   Pregrado - Nombre del curso:  Estructuras de Datos, 20 Julio 2017 Noviembre 2017
    -   Extensión extracurricular - Nombre del curso:  Diplomado en Ingeniería, 15 Febrero 2017 Junio 2017
    -   Pregrado - Nombre del curso:  Introducción a la Programación, 20 Julio 2017 Noviembre 2017
  •  
    		•  Universidad del Valle Sede Tuluá
    Dedicación: 16 horas Semanales Febrero de 2016 Junio de 2017

    Actividades de docencia
    -   Pregrado - Nombre del curso:  Matemáticas Discretas I, 30 Febrero 2017 Junio 2017
    -   Pregrado - Nombre del curso:  Seminario de Trabajo de Grado, 10 Febrero 2017 Junio 2017
    -   Pregrado - Nombre del curso:  Fundamentos de Análisis y Diseño de Algoritmos, 35 Febrero 2017 Junio 2017
    -   Pregrado - Nombre del curso:  Fundamentos de Análisis y Diseño de Algoritmos, 15 Febrero 2016 Junio 2016
    -   Pregrado - Nombre del curso:  Complejidad y Optimización, 25 Febrero 2016 Junio 2016
    -   Pregrado - Nombre del curso:  Fundamentos de Programación, 45 Agosto 2016 Diciembre 2016
    -   Pregrado - Nombre del curso:  Fundamentos de Lenguajes de Programación, 30 Agosto 2016 Diciembre 2016
    -   Pregrado - Nombre del curso:  Introducción a la Programación Orientada a Objetos, 20 Agosto 2016 Diciembre 2016
    -   Pregrado - Nombre del curso:  Fundamentos de Programación, 45 Febrero 2016 Junio 2016
    -   Pregrado - Nombre del curso:  Seminario de Trabajo de Grado, 10 Febrero 2016 Junio 2016
    -   Pregrado - Nombre del curso:  Matemáticas Discretas I, 20 Agosto 2016 Diciembre 2016
  •  
    		•  PONTIFICIA UNIVERSIDAD JAVERIANA - PUJ - SEDE CALI
    Dedicación: 6 horas Semanales Enero de 2015 Diciembre de 2016

    Áreas de actuación
  •  Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
    		•

    Idiomas
      Habla Escribe Lee Entiende
  •  Español
    		•  Bueno Bueno Bueno Bueno
  •  Inglés
    		•  Aceptable Bueno Bueno Aceptable
  •  Francés
    		•  Aceptable Aceptable Bueno Aceptable

    Líneas de investigación
  •  Análisis de algoritmos, Activa:Si
    		•
  •  Lógica de Reescritura, Activa:Si
    		•
  •  Proccess Calculi/ Concurrency theory, Activa:Si
    		•
  •  Paradigmas de programación, Activa:Si
    		•
  •  Programación por restricciones, Activa:Si
    		•
  •  Computación Grid, Activa:Si
    		•

    Reconocimientos
  • Tesis Laureada,UNIVERSIDAD DEL VALLE - Agostode 2009
    		•
     
    Los ítems de producción con la marca corresponden a productos avalados y validados para la última Convocatoria Nacional para el Reconocimiento y Medición de Grupos de Investigación, Desarrollo Tecnológico o de Innovación y para el Reconocimiento de Investigadores del SNCTeI
     

    Jurado en comités de evaluación
  • Datos complementarios - Jurado/Comisiones evaluadoras de trabajo de grado - Pregrado
    		•
    CARLOS ALBERTO RAMIREZ RESTREPO, Titulo: Sistema para el apoyo al análisis de patentabilidad Tipo de trabajo presentado: Proyecto de grado/Tesis en:  UNIVERSIDAD DEL VALLE  programa académico Ingeniería de Sistemas  Nombre del orientado:   

    Textos en publicaciones no científicas
  • Producción bibliográfica - Otro artículo publicado - Revista de divulgación
    • CARLOS ALBERTO RAMIREZ RESTREPO, JUAN FRANCISCO DIAZ FRIAS, JESUS ALEXANDER ARANDA, JORGE PEREZ, "Towards Formal Interaction-Based Models of Grid Computing Infrastructures" En: Argentina. 2014. Electronic Proceedings In Theoretical Computer Science. ISSN: 2075-2180 p.57 - 72 v.144
    Palabras:
    Grid Computing, Process Calculi,
    Areas:
    Ingeniería y Tecnología -- Ingenierías Eléctrica, Electrónica e Informática -- Ingeniería de Sistemas y Comunicaciones,