Programa de Doctorado en Ingeniería Informática

Líneas de investigación

• Computación heterogénea y aceleradores
• Eficiencia energética y tecnologías de memoria emergentes
• Multicore asimétricos
• Eficiencia energética en computación (Green Computing)
• Automatización del diseño de sistemas digitales
• Sistemas bioinspirados
• Gestión de hardware dinámicamente reconfigurable
• Hardware dinámicamente reconfigurable para aplicaciones espaciales
• Tratamiento de imágenes hiperespectrales
• Computación distribuida, paralela y de altas prestaciones
• Virtualización y arquitecturas cloud
• Protocolos y arquitecturas de seguridad para sistemas de información y de comunicaciones
• Tecnología aplicada a la educación
• Juegos y simulaciones educativas
• Estandarización en educación
• Técnicas formales de especificación y verificación de sistemas
• Análisis estático de programas y sistemas de tipos
• Modelos formales para la movilidad y la seguridad
• Desarrollo de sistemas seguros a partir de modelos
• Fundamentos teóricos del testing
• Especificación y análisis de sistemas temporizados y distribuidos
• Programación declarativa multiparadigma
• Técnicas formales para la optimización y comprensión de programas
• Informática gráfica
• Razonamiento basado en casos
• Sistemas de recomendación
• Ingeniería de sistemas de entretenimiento digital
• Sistemas multi-agentes
• Simulación de sistemas complejos
• Aplicaciones de la Inteligencia Artificial
• Robótica móvil
• Control de sistemas
• Visión por computador
• Procesamiento de lenguaje natural
• Ingeniería de lenguajes software y gramáticas
• Creatividad computacional