1. Portada
  2. Titulaciones
  3. [...]
  4. Doctorado en Ingeniería Informática (RD 99/2011)
  5. Profesorado del doctorado RD 99/2011

Profesorado del doctorado RD 99/2011

Nombre Departamento Categoría Líneas de investigación
Albert Albiol, Elvira Sistemas Informáticos y Computación Catedrática de Universidad Técnicas formales de especificación y verificación de sistemas
Arroyo Gallardo, Javier Ingeniería del Software e Inteligencia Artificial Titular de Universidad Aplicaciones de la Inteligencia Artificial
Ayala Rodrigo, José Luis Arquitectura de Computadores y Automática Titular de Universidad Eficiencia energética en computación (Green Computing)
Barrio García, Alberto Antonio del Arquitectura de Computadores y Automática Profesor Contratado Doctor Automatización del diseño de sistemas digitales
Báscones García, Daniel Arquitectura de Computadores y Automática Profesor Ayudante Doctor Tratamiento de imágenes hiperespectrales
Bernabé García, Sergio Arquitectura de Computadores y Automática Profesor Contratado Doctor interino Computación heterogénea y aceleradores
Besada Portas, Eva Arquitectura de Computadores y Automática Titular de Universidad Control de sistemas
Botella Juan, Guillermo Arquitectura de Computadores y Automática Titular de Universidad Computación heterogénea y aceleradores
Bravo Agapito, Javier Ingeniería del Software e Inteligencia Artificial Profesor Ayudante Doctor Tecnología aplicada a la educación
Caballero Roldán, Rafael Sistemas Informáticos y Computación Titular de Universidad Aplicaciones de la Inteligencia Artificial
Calvo Morata, Antonio Ingeniería del Software e Inteligencia Artificial Profesor Ayudante Doctor Juegos y simulaciones educativas.
Castro Rodríguez, Fernando Arquitectura de Computadores y Automática Titular de Universidad Eficiencia energética y tecnologías de memoria emergentes
Chacón Sombría, Jesús Arquitectura de Computadores y Automática Profesor Ayudante Doctor Control de sistemas
Chaver Martínez, Daniel Ángel Arquitectura de Computadores y Automática Titular de Universidad Eficiencia energética y tecnologías de memoria emergentes
Clemente Barreira, Juan Antonio Arquitectura de Computadores y Automática Profesor Contratado Doctor Hardware dinámicamente reconfigurable para aplicaciones espaciales
Correas Fernández, Jesús Sistemas Informáticos y Computación Profesor Contratado Doctor Análisis estático de programas y sistemas de tipos
Costero Valero, Luis María Arquitectura de Computadores y Automática Profesor Ayudante Doctor Computación distribuida, paralela y de altas prestaciones
Díaz Agudo, Belén Ingeniería del Software e Inteligencia Artificial Catedrática de Universidad Razonamiento basado en casos
Díaz Esteban, Alberto Ingeniería del Software e Inteligencia Artificial Titular de Universidad Procesamiento de lenguaje natural
Esteban San Román, Segundo Arquitectura de Computadores y Automática Titular de Universidad Control de sistemas
Fabero Jiménez, Juan Carlos Arquitectura de Computadores y Automática Profesor Contratado Doctor Hardware dinámicamente reconfigurable para aplicaciones espaciales
Fábregas Alfaro, Ignacio Sistemas Informáticos y Computación Profesor Ayudante Doctor Técnicas formales de especificación y verificación de sistemas
Fernández Fernández, Raúl Ingeniería del Software e Inteligencia Artificial Profesor Ayudante Doctor Aplicaciones de la Inteligencia Artificial
Fernández Manjón, Baltasar Ingeniería del Software e Inteligencia Artificial Catedrático de Universidad Juegos y simulaciones educativas
Francisco Gilmartín, Virginia Ingeniería del Software e Inteligencia Artificial Titular de Universidad Procesamiento de lenguaje natural
Freire Morán, Manuel Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Tecnología aplicada a la educación
Frutos Escrig, David de Sistemas Informáticos y Computación Catedrático de Universidad Modelos formales para la movilidad y la seguridad
Fuentes Fernández, Rubén Ingeniería del Software e Inteligencia Artificial Catedrático de Universidad Sistemas multi-agentes
García Herrero, Francisco Miguel Arquitectura de Computadores y Automática Titular de Universidad Gestión de hardware dinámicamente reconfigurable
García Merayo, Mercedes Sistemas Informáticos y Computación Titular de Universidad Fundamentos teóricos de testing
García Sánchez, Carlos Arquitectura de Computadores y Automática Titular de Universidad Computación heterogénea y aceleradores
García Villalba, Luis Javier Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Protocolos y arquitecturas de seguridad para sistemas de información y de comunicaciones
García-Magariño García, Iván Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Aplicaciones de la Inteligencia Artificial
Garnica Alcázar, Antonio Óscar Arquitectura de Computadores y Automática Titular de Universidad Sistemas bioinspirados
Genaim, Samir Sistemas Informáticos y Computación Profesor Contratado Doctor Análisis estático de programas y sistemas de tipos
Gervás Gómez-Navarro, Pablo Ingeniería del Software e Inteligencia Artificial Catedrático de Universidad Creatividad computacional
Gómez Albarrán, Mercedes Ingeniería del Software e Inteligencia Artificial Titular de Universidad Sistemas de recomendación
Gómez Martín, Marco Antonio Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Juegos y simulaciones educativas
Gómez Martínez, Maria Elena Sistemas Informáticos y Computación Profesor Contratado Doctor Técnicas formales de especificación y verificación de sistemas
Gómez Pérez, José Ignacio Arquitectura de Computadores y Automática Titular de Universidad Eficiencia energética y tecnologías de memoria emergentes
Gómez Sanz, Jorge Ingeniería del Software e Inteligencia Artificial Titular de Universidad Aplicaciones de la Inteligencia Artificial
Gómez Silva, María José Arquitectura de Computadores y Automática Profesor Ayudante Doctor Visión por computador
Gómez-Zamalloa Gil, Miguel Sistemas Informáticos y Computación Titular de Universidad Fundamentos teóricos del testing
González Calero, Pedro Antonio Ingeniería del Software e Inteligencia Artificial Catedrático de Universidad Ingeniería de sistemas de entretenimiento digital
González Calvo, Carlos Arquitectura de Computadores y Automática Titular de Universidad Hardware dinámicamente reconfigurable para aplicaciones espaciales
Guijarro Mata-García, María Arquitectura de Computadores y Automática Titular de Universidad Visión por computador
Hassan Collado, Samer Ingeniería del Software e Inteligencia Artificial Titular de Universidad Sistemas multi-agentes
Hervás Ballesteros, Raquel Ingeniería del Software e Inteligencia Artificial Titular de Universidad Procesamiento de lenguaje natural
Hidalgo Pérez, Ignacio Arquitectura de Computadores y Automática Catedrático de Universidad Sistemas bioinspirados
Huedo Cuesta, Eduardo Arquitectura de Computadores y Automática Titular de Universidad Computación distribuida, paralela y de altas prestaciones
Igual Peña, Francisco Arquitectura de Computadores y Automática Titular de Universidad Computación distribuida, paralela y de altas prestaciones
Imaña Pascual, José Luis Arquitectura de Computadores y Automática Titular de Universidad Automatización del diseño de sistemas digitales
Jiménez Castellanos, Juan Francisco Arquitectura de Computadores y Automática Titular de Universidad Control de sistemas
Jiménez Díaz, Guillermo Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Sistemas de recomendación
León Aznar, Carlos Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor interino Creatividad computacional
Llana Díaz, Luis Fernando Sistemas Informáticos y Computación Titular de Universidad Técnicas formales de especificación y verificación de sistemas
López Barquilla, Natalia Sistemas Informáticos y Computación Profesor Contratado Doctor Fundamentos teóricos del testing
López Fraguas, Francisco Javier Sistemas Informáticos y Computación Catedrático de Universidad Programación declarativa multiparadigma
López Orozco, José Antonio Arquitectura de Computadores y Automática Catedrático de Universidad Robótica móvil
Maestro de la Cuerda, Juan Antonio Arquitectura de Computadores y Automática Catedrático de Universidad Hardware dinámicamente reconfigurable para aplicaciones espaciales.
Manero Iglesias, Borja Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Tecnología aplicada a la educación
Martí Oliet, Narciso Sistemas Informáticos y Computación Catedrático de Universidad Técnicas formales de especificación y verificación de sistemas
Martín Martín, Enrique Sistemas Informáticos y Computación Profesor Contratado Doctor Análisis estático de programas y sistemas de tipos
Martínez Ortiz, Iván Ingeniería del Software e Inteligencia Artificial Titular de Universidad Juegos y simulaciones educativas. Interoperabilidad en TICs para educación
Mecha López, Hortensia Arquitectura de Computadores y Automática Catedrática de Universidad Gestión de hardware dinámicamente reconfigurable
Méndez Pozo, Gonzalo Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Creatividad computacional
Molina Prego, María del Carmen Arquitectura de Computadores y Automática Titular de Universidad Automatización del diseño de sistemas digitales
Montenegro Montes, Manuel Sistemas Informáticos y Computación Ayudante Doctor Análisis estático de programas y sistemas de tipos
Moreno Vozmediano, Rafael Arquitectura de Computadores y Automática Titular de Universidad Computación distribuida, paralela y de altas prestaciones
Mozos Muñoz, Daniel Arquitectura de Computadores y Automática Catedrático de Universidad Tratamiento de imágenes hiperespectrales
Navarro Martín, Antonio Ingeniería del Software e Inteligencia Artificial Titular de Universidad Tecnología aplicada a la educación
Núñez Covarrubias, Alberto Sistemas Informáticos y Computación Titular de Universidad Simulación de sistemas complejos
Núñez García, Manuel Sistemas Informáticos y Computación Catedrático de Universidad Fundamentos teóricos del testing
Olcoz Herrero, Katzalín Arquitectura de Computadores y Automática Titular de Universidad Computación heterogénea y aceleradores
Palomino Tarjuelo, Miguel Sistemas Informáticos y Computación Titular de Universidad Técnicas formales de especificación y verificación de sistemas
Pardines Lence, Inmaculada Arquitectura de Computadores y Automática Profesor Contratado Doctor Gestión de hardware dinámicamente reconfigurable
Pavón Mestras, Juan Ingeniería del Software e Inteligencia Artificial Catedrático de Universidad Aplicaciones de la Inteligencia Artificial
Peinado Gil, Federico Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Ingeniería de sistemas de entretenimiento digital
Piñuel Moreno, Luis Arquitectura de Computadores y Automática Titular de Universidad Computación heterogénea y aceleradores
Prieto Matías, Manuel Arquitectura de Computadores y Automática Catedrático de Universidad Multicore asimétricos
Rabanal Basalo, Pablo Sistemas Informáticos y Computación Profesor Contratado Doctor Sistemas bioinspirados
Recas Piorno, Joaquín Arquitectura de Computadores y Automática Titular de Universidad Automatización del diseño de sistemas digitales
Recio García, Juan Antonio Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Razonamiento basado en casos
Requeno Jarabo, José Ignacio Sistemas Informáticos y Computación Profesor Ayudante Doctor Técnicas formales de especificación y verificación de sistemas
Riesco Rodríguez, Adrián Sistemas Informáticos y Computación Profesor Contratado Doctor Técnicas formales de especificación y verificación de sistemas
Risco Martín, José Luis Arquitectura de Computadores y Automática Catedrático de Universidad Simulación de sistemas complejos
Rodríguez Laguna, Ismael Sistemas Informáticos y Computación Titular de Universidad Fundamentos teóricos del testing
Rosa Velardo, Fernando Sistemas Informáticos y Computación Titular de Universidad Modelos formales para la movilidad y la seguridad
Ruano Ramos, Óscar Arquitectura de Computadores y Automática Profesor Contratado Doctor interino Hardware dinámicamente reconfigurable para aplicaciones espaciales.
Rubio Cuellar, Rubén Rafael Sistemas Informáticos y Computación Profesor Ayudante Doctor Técnicas formales de especificación y verificación de sistemas
Rubio Diez, Fernando Sistemas Informáticos y Computación Titular de Universidad Sistemas bioinspirados
Rubio Gimeno, Albert Sistemas Informáticos y Computación Catedrático de Universidad Técnicas formales de especificación y verificación de sistemas
Sáenz Pérez, Fernando Ingeniería del Software e Inteligencia Artificial Titular de Universidad Programación declarativa multiparadigma
Saez Alcaide, Juan Carlos Arquitectura de Computadores y Automática Titular de Universidad Multicore asimétricos
Sagredo Olivenza, Ismael Ingeniería del Software e Inteligencia Artificial Profesor Ayudante Doctor Ingeniería de sistemas de entretenimiento digital
Sánchez Hernández, Jaime Sistemas Informáticos y Computación Titular de Universidad Programación declarativa multiparadigma
Sánchez Ruiz-Granados, Antonio A. Ingeniería del Software e Inteligencia Artificial Profesor Contratado Doctor Aplicaciones de la Inteligencia Artificial
Sánchez-Elez Martín, Marcos Arquitectura de Computadores y Automática Profesor Contratado Doctor Gestión de hardware dinámicamente reconfigurable
Santiago Montero, Rubén Arquitectura de Computadores y Automática Titular de Universidad Virtualización y arquitecturas cloud
Santos Peñas, Matilde Arquitectura de Computadores y Automática Catedrático de Universidad Control de sistemas
Sarasa Cabezuelo, Antonio Sistemas Informáticos y Computación Titular de Universidad Ingeniería de lenguajes software y gramáticas
Segura Díaz, Clara María Sistemas Informáticos y Computación Titular de Universidad Análisis estático de programas y sistemas de tipos
Sierra Rodríguez, José Luis Ingeniería del Software e Inteligencia Artificial Catedrático de Universidad Ingeniería de lenguajes software y gramáticas
Tenllado van der Reijden, Christian Arquitectura de Computadores y Automática Titular de Universidad Eficiencia energética y tecnologías de memoria emergentes
Vázquez Poletti, José Luis Arquitectura de Computadores y Automática Titular de Universidad Virtualización y arquitecturas cloud
Verdejo López, José Alberto Sistemas Informáticos y Computación Titular de Universidad Técnicas formales de especificación y verificación de sistemas
Romero Hernández, Alejandro Ingeniería del Software e Inteligencia Artificial Profesor Ayudante Doctor Juegos y simulaciones educativas
Gordillo Alguacil, Pablo Sistemas Informáticos y Computación Profesor Ayudante Doctor Técnicas formales de especificación y verificación de sistemas
Tomas Rodriguez, María Arquitectura de Computadores y Automática Titular de Universidad Control de sistemas
Cerro Cañizares, Pablo Sistemas Informáticos y Computación Profesor Permanente Laboral Técnicas formales de especificación y verificación de sistemas
Pacios Izquierdo, David Arquitectura de Computadores y Automática Profesor Ayudante Doctor Virtualización y arquitecturas cloud
Garcia Sevilla, Antonio Ingeniería del Software e Inteligencia Artificial Profesor Ayudante Doctor Procesamiento de lenguaje natural
García Soto, Miriam Sistemas Informáticos y Computación Profesor Ayudante Doctor Técnicas formales de especificación y verificación de sistemas
Rezaei, Mohammadreza Arquitectura de Computadores y Automática Profesor Ayudante Doctor Hardware dinámicamente reconfigurable para aplicaciones espaciales