Idioma: ES

Centro de Estudios de Fundamentos de Computación

Algoritmia y métodos formales con fundamentos en programación e ingeniería de software.

Construcción de aplicaciones informáticas eficientes y confiables. El centro de estudios mantiene una dinámica de innovación en las asignaturas de programación de computadores y los diferentes cursos relacionados con informática teórica. Además, alinea las competencias en algoritmia y métodos formales con los fundamentos en programación de computadores y la ingeniería de software.

_DSC4141.jpg

El desarrollo de cualquier tipo de aplicaciones tiene una profunda articulación entre el conocimiento teórico de la computación y la programación de computadores. Es importante mantener una dinámica de innovación en las asignaturas de programación de computadores y los diferentes cursos relacionados con informática teórica. Desde el Centro de Estudios de Fundamentos de Computación se trabajan temas relacionados con métodos formales, algoritmia y computación que, actualmente aplicamos, entre otras cosas, al análisis de datos. Esto debido a que en los últimos años ha existido un crecimiento exponencial en la recolección y cantidad de datos almacenados, siendo un gran desafió el desarrollo de algoritmos que hagan uso eficiente de las estructuras y tipos de datos requeridos para el procesamiento y análisis de datos. Estos algoritmos requieren un fuerte conocimiento de la informática teórica, para que permitan el diseño de soluciones eficientes y correctas.

Objetivo general

Alinear las competencias en algoritmia y métodos formales con los fundamentos en programación de computadores y la ingeniería de software, de manera que los futuros profesionales sean capaces de construir aplicaciones informáticas eficientes y confiables.

Las áreas de trabajo son:

  • Algoritmos y Métodos Formales
  • Computación para Análisis de Datos

Servicios

Desde el Centro de Estudios de Fundamentos de Computación se pueden prestar los siguientes servicios a la comunidad interna y externa de la institución:

  • Servicios de docencia, tales como cursos de pregrado y posgrado, educación continuada y cursos cerrados para empresas.
  • Desarrollo de proyectos de investigación aplicada y consultoría / asesoría para empresas desarrolladoras de software.

Publicaciones

  • Correa Juan C., Garzón Wilmer, et al. "Evaluation of collaborative consumption of food delivery services through web mining techniques." Journal of Retailing and Consumer Services (2018).
  • Acosta Ernesto, Bohórquez Jaime, et al. "Axiomatic Set Theory à la Dijkstra and Scholten." Colombian Conference on Computing. Springer, Cham, 2017.Bohórquez V. Jaime A. "Calculational solutions to combinatorial problems." Computing Colombian Conference (10CCC), 2015 10th. IEEE, 2015.
  • Ramírez Sergio and Rocha Camilo. "Formal verification of safety properties for a cache coherence protocol." Computing Colombian Conference (10CCC), 2015 10th. IEEE, 2015.
  • Chaves Francisco, Rocha Camilo. "Executable calculational specifications." Computing Colombian Conference (10CCC), 2015 10th. IEEE, 2015.
  • Rocha Camilo. "The formal System of Dijkstra and Scholten." Logic, Rewriting, and Concurrency. Springer, Cham, 2015. 580-597.
  • Gutiérrez Raúl, Meseguer José, Rocha Camilo. "Order-sorted equality enrichments módulo axioms." Science of Computer Programming 99 (2015): 235-261.
DSC_1740-detalle.jpg

Descubrir más

Asignaturas que ofrece

  • Modelos Matemáticos para Informática
  • Lógica Calculatoria
  • Algoritmos y Programación
  • Matemáticas Discretas
  • Ciencias Naturales y Tecnología
  • Teoría de la Programación
  • Análisis Computacional de Datos
  • Diseño y Análisis Eficiente de Algoritmos
  • Algoritmos y Representación de Datos

Líneas de Investigación

  • Algoritmos y Métodos Formales.
  • Computación para Análisis de Datos.

Proyectos / trabajos de estudiantes (pregrado y posgrado) dirigidos 2013 – 2018

  • Sistema de captura y procesamiento automático de datos para la caracterización de cultivos de papa para la región cundiboyacense.
  • Diseño y construcción de herramientas reactivas para el diseño, soporte y mantenimiento de middleware distribuido para el procesamiento de grandes volúmenes de datos (big data).
  • Teoría de Tipos al Estilo calculatorio.
  • Twitter Extractor.
  • Traducción automática de especificaciones Event-B en Rodin a Python.
  • Analítica de datos para agricultura inteligente.
  • Ambiente visual para el aprendizaje de los conceptos básicos asociados a la geometría básica.
  • Ambiente visual para el aprendizaje de los conceptos básicos asociados a la factorización.
  • Ambiente visual para el aprendizaje de los conceptos básicos asociados a los sistemas formales y los juegos discretos.

Contacto

Centro de Estudios de Fundamentos de Computación

Escuela Colombiana de Ingeniería Julio Garavito

AK 45 No. 205-59, Edificio B, segundo piso

PBX: +57(1) 668-3600

Bogotá D. C., Colombia.