Menciones: este programa ha obtenido la "Mención de
Calidad"
Criterios de reincorporaciónSe
valorará el expediente académico, los cursos de doctorado realizados y los
trabajos ya en curso orientados a la presentación de una tesis doctoral
dentro de las áreas de conocimiento adscritas al programa
Criterios
de selección:
-
Los alumnos solicitantes tendrán prioridad según el orden de las
titulaciones anteriormente citadas
-
Se valorará el curriculum y el expediente académico
-
Se tendrán en cuenta también la realización de trabajos ya en curso
orientados a la presentación de una tesis doctoral dentro de las áreas
de conocimiento adscritas al programa
Líneas de investigación:
-
Computación de altas prestaciones y computación en grid
-
Automatización del diseño de sistemas digitales
-
Control, modelado, simulación y robótica
-
Análisis y transformación de programas
-
Ingeniería del software e inteligencia artificial
-
Métodos formales para la concurrencia
-
Programación declarativa multiparadigma
-
Informática gráfica
Requisitos de admisiónQue provengan de las
titulaciones: Ingeniería informática, licenciatura en CC.
Físicas (especialidad cálculo automático), ingeniería electrónica,
licenciatura en CC. Matemáticas (especialidad ciencias de la computación)
Licenciaturas
afines a criterio de los departamentos responsables
Período
de docenciaCursos de Carácter Fundamental:
-
Control Inteligente
-
Optimización En El Control De Sistemas
-
Redes Neuronales Y Sus Aplicaciones
-
Percepción Visual Artificial
-
Hardware Dinámicamente Reconfigurable
-
Síntesis Arquitectónica Y De Alto Nivel
-
Técnicas De Alto Rendimiento En El Diseño De Procesadores
-
Compiladores Para Arquitecturas De Alto Rendimiento
-
Computación En Red Y Tecnología Grid
-
Diseño De Sistemas Empotrados
-
Tecnologías Avanzadas De Redes Y Telecomunicaciones
-
Metodología De Diseño De Sistemas Asíncronos
-
Ingeniería Lingüística
-
Agentes Inteligentes
-
Especificación Y Validación Del Software
-
Modelos De Sistemas Concurrentes Y Distribuidos
-
Aprendizaje Automático
-
Seguridad De Computadores
-
Modelado De Sólidos Y Técnicas De Visualización
-
E-Learning
-
Análisis Y Transformación De Programas
-
Extensiones De Programación Lógica
-
Requisitos Software
-
Modelos Abstractos De Cómputo
-
Deducción Automática
-
Razonamiento Aproximado Y Con Incertidumbre
-
Aplicación De Principios Económicos Al Desarrollo De Sistemas
Computacionales
-
Bioinformática
Período de investigaciónTemas de
investigación ofertados:
-
Control, Modelado, Simulación Y Robótica
-
Créditos: 6,0
-
Área(S) De Conocimiento:
-
Ingeniería De Sistemas Y Automática
-
Control, Modelado, Simulación Y Robótica
-
Créditos: 12,0
-
Área(S) De Conocimiento:
-
Ingeniería De Sistemas Y Automática
-
Computación De Altas Prestaciones Y Computación En Grid
-
Créditos: 6,0
-
Área(S) De Conocimiento:
-
Arquitectura Y Tecnología De Computadores
-
Computación De Altas Prestaciones Y Computación En Grid
-
Créditos: 12,0
-
Área(S) De Conocimiento:
-
Arquitectura Y Tecnología De Computadores
-
Automatización Del Diseño De Sistemas Digitales
-
Créditos: 6,0
-
Área(S) De Conocimiento:
-
Arquitectura Y Tecnología De Computadores
-
Automatización Del Diseño De Sistemas Digitales
-
Créditos: 12,0
-
Área(S) De Conocimiento:
-
Arquitectura Y Tecnología De Computadores
-
Ingeniería Del Software E Inteligencia Artificial
-
Créditos: 6,0
-
Área(S) De Conocimiento:
-
Lenguajes Y Sistemas Informáticos
-
Ciencia De La Computación E Inteligencia Artificial
-
Ingeniería Del Software E Inteligencia Artificial
-
Créditos: 12,0
-
Área(S) De Conocimiento:
-
Lenguajes Y Sistemas Informáticos
-
Ciencia De La Computación E Inteligencia Artificial
-
Métodos Formales Para La Programación
-
Créditos: 6,0
-
Área(S) De Conocimiento:
-
Lenguajes Y Sistemas Informáticos
-
Ciencia De La Computación E Inteligencia Artificial
-
Métodos Formales Para La Programación
-
Créditos: 12,0
-
Área(S) De Conocimiento:
-
Lenguajes Y Sistemas Informáticos
-
Ciencia De La Computación E Inteligencia Artificial
-
Programación Declarativa Multiparadigma
-
Créditos: 6,0
-
Área(S) De Conocimiento:
-
Lenguajes Y Sistemas Informáticos
-
Ciencia De La Computación E Inteligencia Artificial
-
Programación Declarativa Multiparadigma
-
Créditos: 12,0
-
Área(S) De Conocimiento:
-
Lenguajes Y Sistemas Informáticos
-
Ciencia De La Computación E Inteligencia Artificial
-
Modelado De Sólidos Y Técnicas De Visualización
-
Modelado De Sólidos Y Técnicas De Visualización
-
Créditos: 12,0
-
Área(S) De Conocimiento:
-
Lenguajes Y Sistemas Informáticos
-
Ciencia De La Computación E Inteligencia Artificial
La superación del examen facultará al doctorando para poder
solicitar expedición del Certificado-Diploma de Estudios Avanzados.