Programa de Doctorado en Software, Sistemas y Computación

Big Data Analytics y optimización

Temas:

• Data mining
• Informática biomédica y Bio-mining
• Optimización heurística
• Soft computing
• Visualización interactiva y multiescala
• Computación de altas prestaciones
• Modelización y simulación

Temas:

• Medición y modelos de calidad software
• Herramientas y entornos de desarrollo, monitorización y operación
• Ingeniería del software empírica
• Modelado y especificaciones de sistemas complejos
• Evaluación y mejora del proceso software
• Evaluación y pruebas del producto software
• Modelos innovadores de desarrollo de software
• Requisitos software
• Temas:
• Computación de altas prestaciones
• Información y computación cuántica
• Optimización heurística
• Modelos para Cloud Computing

Temas:

Análisis de programas

• Verificación de aplicaciones secuenciales y concurrentes
• Lenguajes declarativos
• Lenguajes de especificación y desarrollo riguroso de programas
• Seguridad de código y criptografía
• Transformación y optimización de código
• Paralelización automática
• Modelos formales y semántica
• Temas:
• Transformadas de imágenes
• Clasificación e interpretación automática de imágenes
• Fusión de imágenes
• Procesado de imágenes basado en objetos
• Procesamiento y análisis morfológico
• Aplicaciones del procesado y análisis de imagen
• Aproximación y optimización de funciones

Temas:

• Sistemas autonómicos y adaptables
• Computación orientada a servicios
• Seguridad en Internet
• Sistemas de información distribuidos
• Sistemas middleware y plataformas como servicio
• Tecnologías web y de agentes
• Sistemas distribuidos tolerantes a fallos
• Sistemas distribuidos escalables

Tecnologías para cloud computing

Temas:

• Usabilidad de software y experiencia de usuario
• Interacción ubicua e inteligencia ambiental
• Accesibilidad y diseño para todos
• Realidad virtual y realidad aumentada
• Agentes virtuales inteligentes
• Informática educativa: e-learning y sistemas inteligentes de tutoría
• Sistemas multimedia
• Visualización avanzada

Matemática computacional

Temas:

• Sistemas dinámicos
• Polinomios ortogonales
• Teoría de aproximación
• Geometría fractal
• Sistemas singulares e inversas generalizadas
• Soft computing
• Modelos y simulación
• Geometría computacional

Neuroinformática

Temas:

• Modelado neuromorfológico
• Visualización avanzada
• Aplicaciones del procesado y análisis de imagen
• Análisis de datos y categorización
• Optimización heurística
• Computación de altas prestaciones
• Modelización y simulación