Portada » Titulaciones » Doctorado » Doctorado en Ingeniería Informática (RD 99/2011)

Doctorado en Ingeniería Informática (RD 99/2011)

Descripción del título

La relevancia de los estudios de posgrado en el ámbito de la Ingeniería Informática está reconocida internacionalmente por las universidades de mayor prestigio y por asociaciones profesionales de carácter transnacional, como el Institute of Electrical and Electronics Engineers (IEEE) o la Association for Computing Machinery (ACM). En el caso de la UCM existe además una amplia trayectoria de formación de posgrado que ha producido una considerable cantidad de doctores en Informática.

El programa de Doctorado en Ingeniería Informática tiene el objetivo primordial de formar investigadores cuya especialización se centre en alguna de las líneas de trabajo que desarrollan los grupos de investigación que lo imparten. Adicionalmente, pretende fomentar la participación de los doctorandos en equipos multidisciplinares y la realización de parte de su investigación en instituciones externas de prestigio. Los temas concretos de investigación están relacionados con las áreas de conocimiento de Lenguajes y Sistemas Informáticos, Ciencias de la Computación e Inteligencia Artificial, Arquitectura y Tecnología de Computadores e Ingeniería de Sistemas y Automática, es decir, las áreas de mayor peso en los planes de estudios de Ingeniería Informática.

Toda esta actividad es sustentada por un personal académico fuertemente implicado en tareas de investigación, lo que ha permitido configurar grupos punteros a escala internacional, tanto en términos de publicaciones, como de obtención de proyectos en convocatorias competitivas.

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

Departamentos participantes