Líneas de investigación

Las líneas de investigación, junto con el número de docentes que trabajan en cada una de ellas se presentan a continuación:

Líneas de investigación Docentes
Sistemas de Computación 18
Ingeniería de Software y Lenguajes de Programación 7
Gestión de Datos y de la Información 13
Robótica, visión computacional y procesamiento gráfico 9
Inteligencia Artificial 6
Optimización 4
Teoría 9

  • Robótica, Visión computacional y Procesamiento gráfico

    ROBÓTICA MÓVIL: Conceptos básicos de Robótica Móvil, Arquitecturas, Paradigmas de Programación, Locomoción, Planificación de Caminos, Localización y Mapeamento, Cooperación entre Múltiples Robots.

    VISIÓN COMPUTACIONAL: Formación de la imagen. Imágenes binarias y sus propiedades geométricas, topológicas y morfológicas. Regiones y segmentación. Bordes y su detección. Brillo y Color. Movimiento y flujo óptico. Clasificación de patrones. Shape from X. Representación 2D y 3D. Estructuras relacionales; Inferencia. Visión activa.

    PROCESAMIENTO DE SONIDO Y VIDEO: Conceptos de sonido analógico y digital, patrones de sonido digital, streaming sound, conceptos de video analógico y digital, patrones de video digital, streaming video. Métodos para la recuperación de imágenes sobre la base del contenido visual (color, textura y forma).

    PROCESAMIENTO DIGITAL DE IMÁGENES: Conceptos básicos. Digitalización y representación de imágenes. Elementos de un sistema de tratamiento de imágenes. Percepción visual. Realce de imágenes. Técnicas de modificación de la escala de gris. Pseudo-coloración. Suavizar imágenes. Agudizamiento de bordes. Filtraje espacial. Conceptos de segmentación, codificación y clasificación de imágenes.

    TÓPICOS EN ROBÓTICA: Resumen variable dependiendo del tema a ser abordado.

    TÓPICOS EN VISIÓN COMPUTACIONAL: Resumen variable dependiendo del tema a ser abordado.

    TÓPICOS EN PERCEPCIÓN ACTIVA: Resumen variable dependiendo del énfasis ofrecido en el curso de Robótica.

    TÓPICOS EN PROCESAMIENTO DIGITAL DE IMÁGENES: Resumen variable dependiendo del énfasis ofrecido en el curso de Procesamiento Digital de Imágenes.

  • Sistemas de Computación

    ALGORITMOS DISTRIBUIDOS: Modelos computacionales; modelos de fallas; tiempo lógico; algoritmos síncronos y asíncronos; programación de información; elección del líder; problema de los generales bizantinos auto estabilización; sincronización; detección de propiedades estables e inestables; verificación de algoritmos; algoritmos distribuidos específicos para Internet, mesh, grid, redes móviles ad hoc y redes de sensores inalámbricos.

    ANÁLISIS Y MODELADO DE SISTEMAS DE COMPUTACIÓN: Planeamiento de capacidad. Introducción al modelado de desempeño. Teoría de probabilidades y transformadas (revisión). Simulación. Modelos de Markov. Colas únicas. Redes de colas: algoritmo VMA. Análisis operacional. Estudio de casos.

    ARQUITECTURA DE COMPUTADORES: Revisión de organización del computador. Proyecto de sistemas de memoria. Técnicas de procesamiento pipeline. Aritmética de punto fijo y punto flotante. Redes de interconexión. Procesadores vectoriales y matriciales. Multiprocesadores. Procesadores no convencionales.

    COMPUTACIÓN UBICUA: Paradigmas computacionales, tecnologías asociadas; conceptos de computación móvil, ubicua y autónoma; problemas de localización de estaciones radio, asignación de canales; protocolos MAC; IP móvil; propuestas de protocolos de transporte; aplicaciones sensibles al contexto físico y lógico; seguridad; sistemas embutidos; proyecto de sistemas considerando adaptaciones; redes de soporte a la computación ubicua (redes inalámbricas, redes mesh, redes móviles ad hoc, redes de sensores inalámbricos).

    INGENIERIA DE APLICACIONES EN REDES: Conceptos básicos de sistemas distribuidos en la Internet. Modelos de concurrencia y arquitecturas de sistemas distribuidos: arquitectura cliente-servidor, peer-to-peer, etc. Aspectos de implementación de servicios y servidores. Integración entre los dominios de aplicaciones y la arquitectura de la red: redes overlay, distribución de contenido.

    FUNDAMENTOS DE SISTEMAS PARALELOS Y DISTRIBUIDOS: Concurrencia y comunicación en sistemas paralelos y distribuidos. Sincronización y acuerdo en sistemas paralelos y distribuidos. Persistencia y sistemas de archivos distribuidos. Compartición de recursos en sistemas paralelos y distribuidos. Análisis y evaluación del desempeño de sistemas distribuidos y paralelos. Proyecto e implementación de aplicaciones Internet, como: caches, redes de distribución de contenido, aplicaciones P2P, servicios multimedia y servicios de comercio electrónico.

    REDES DE COMPUTADORES: Concepto de redes de computadores y sistemas distribuidos. Arquitectura de redes de computadores. Protocolos y servicios. Modelo de referencia OSI/ISO. Redes locales. Capas física, enlace, red y transporte.

    SISTEMAS OPERACIONALES: Administración y sincronización de procesos. Técnicas de entrada/salida. Sistemas de archivos. Técnicas de buffering. Escalonamiento de procesadores. Administración de memoria y memoria virtual. Asignación de recursos y deadlock. Evaluación de desempeño. Sistemas distribuidos.

    TÓPICOS EN REDES DE COMPUTADORES: Resumen variable dependiendo del énfasis ofrecido en Redes de Computadores.

    TÓPICOS EN SISTEMAS DE COMPUTACIÓN: Resumen variable dependiendo del énfasis ofrecido en Sistemas de Computación.

  • Teoría

    TEORÍA DE LENGUAJES: Clasificación y propiedades de las gramáticas formales. Problemas de decisión en cada clase de gramática y su respectivo lenguaje. Autómatas limitados linealmente y máquinas de Turing como reconocedores de lenguajes. Nociones de parsing. Parsing determinista. Gramática LL(k) e LR(k).

    TEORÍA DE GRAFOS: Conceptos de grafos y aplicaciones. Problemas en grafos: caminos óptimos, planaridad, coloración, particionamiento, pareamiento, flujo. Algoritmos,

    VERIFICACIÓN AUTOMÁTICA: Verificación automática de modelos.

  • Núcleo Común

    DISEÑO Y ANÁLISIS DE ALGORITMOS. Análisis de complejidad de algoritmos. Paradigmas de programación. Algoritmos de grafos. Problemas NP-Completos y NP- Difíciles. Algoritmos aproximados.

    ARQUITECTURA DE COMPUTADORES. Revisión de organización de computadoras. Proyecto de sistemas de memoria. Técnicas de procesamiento pipeline. Aritmética de punto fijo y punto flotante. Redes de interconexión. Procesadores vectoriales y matriciales. Multiprocesadores. Procesadores no convencionales. (También en el área de sistemas computacionales)

    TEORIA DE LENGUAJES. Clasificación y propiedades de gramaticas. Problemas de decision en cada clase de gramática y respectivas lenguajes. Autómatas linear-bounded y máquinas de Turing como reconocedores de lenguajes. Nociones de Parsing. Parsing deterministico. Gramática LL(k) y LR(k). (También en el área de teoría)

    TÓPICOS SELECTOS EN CIENCIAS COMPUTACIONALES: Disciplinas ofrecidas dependiendo del enfoque.

    TALLER DE DOCENCIA I

    TALLER DE DOCENCIA II