GICOMP: Grupo de investigación en computación
URI permanente para esta comunidad
Se dedica a la investigación aplicada en computación, respondiendo a los avances tecnológicos más recientes y anticipando futuras necesidades de la sociedad y la industria. En la actualidad, las tecnologías emergentes han transformado la informática y las telecomunicaciones, generando nuevos desafíos que el grupo aborda a través de cuatro líneas de investigación clave, cada una fundamentada en el estado del arte de sus respectivas disciplinas. Lógica y Computación: El desarrollo de algoritmos basados en fundamentos lógicos y matemáticos sigue siendo un campo de gran relevancia, especialmente en áreas como la verificación formal y el modelado computacional. Los avances recientes incluyen el uso de técnicas de model checking y teoremas automáticos para la verificación de sistemas complejos, garantizando mayor fiabilidad y precisión en aplicaciones críticas como la aviación, la medicina y las finanzas. La lógica computacional, que sigue evolucionando con nuevos enfoques como las lógicas temporales y modales, ha facilitado la creación de algoritmos más robustos para la optimización y resolución de problemas.
Líneas de investigación: Datos e Infraestructura TI, Ingeniería de Software, Inteligencia Artificial, Lógica y Computación.
Código Minciencias: COL0013281.
Categoría 2021: A1.
Escuela: Ciencias Aplicadas e Ingeniería.
Líder: Juan David Martínez Vargas.
Correo electrónico: jdmartinev@eafit.edu.co
Fusión de los grupos: I+D+I en TIC (GIDITIC) y Lógica y Computación (2025)
Líneas de investigación: Datos e Infraestructura TI, Ingeniería de Software, Inteligencia Artificial, Lógica y Computación.
Código Minciencias: COL0013281.
Categoría 2021: A1.
Escuela: Ciencias Aplicadas e Ingeniería.
Líder: Juan David Martínez Vargas.
Correo electrónico: jdmartinev@eafit.edu.co
Fusión de los grupos: I+D+I en TIC (GIDITIC) y Lógica y Computación (2025)