| Albert Albiol, Elvira |
Sistemas Informáticos y Computación |
Catedrática de Universidad |
Técnicas de verificación y optimización de programas |
| 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 |
Aplicaciones biomédicas en informática |
| Báscones García, Daniel |
Arquitectura de Computadores y Automática |
Profesor Ayudante Doctor |
Tratamiento de imágenes y visión por computador |
| Bernabé García, Sergio |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aceleradores hardware avanzados |
| Besada Portas, Eva |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aplicaciones de la inteligencia artificial |
| Botella Juan, Guillermo |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Aceleradores hardware avanzados |
| Bravo Agapito, Javier |
Ingeniería del Software e Inteligencia Artificial |
Profesor Permanente Laboral |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Caballero Roldán, Rafael |
Sistemas Informáticos y Computación |
Titular de Universidad |
Algoritmia, complejidad computacional y métodos de optimización |
| Calvo Morata, Antonio |
Ingeniería del Software e Inteligencia Artificial |
Profesor Ayudante Doctor |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Castro Rodríguez, Fernando |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| Cerro Cañizares, Pablo |
Sistemas Informáticos y Computación |
Profesor Permanente Laboral |
Técnicas de especificación, análisis y verificación de sistemas. |
| Chacón Sombría, Jesús |
Arquitectura de Computadores y Automática |
Profesor Contratado Doctor |
Control, automatización y robótica |
| Chaver Martínez, Daniel Ángel |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| Clemente Barreira, Juan Antonio |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Fiabilidad y corrección de errores en sistemas digitales |
| Correas Fernández, Jesús |
Sistemas Informáticos y Computación |
Titular de Universidad |
Técnicas de verificación y optimización de programas |
| Costero Valero, Luis María |
Arquitectura de Computadores y Automática |
Profesor Ayudante Doctor |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| de Frutos Escrig, David |
Sistemas Informáticos y Computación |
Catedrático de Universidad |
Técnicas de especificación, análisis y verificación de sistemas |
| del Barrio García, Alberto Antonio |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aceleradores hardware avanzados |
| Díaz Agudo, Belén |
Ingeniería del Software e Inteligencia Artificial |
Catedrática de Universidad |
Aplicaciones de la inteligencia artificial |
| Díaz Esteban, Alberto |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Procesamiento y generación de lenguaje natural |
| Esteban San Román, Segundo |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Control, automatización y robótica |
| Fabero Jiménez, Juan Carlos |
Arquitectura de Computadores y Automática |
Profesor Contratado Doctor |
Fiabilidad y corrección de errores en sistemas digitales |
| Fábregas Alfaro, Ignacio |
Sistemas Informáticos y Computación |
Profesor Permanente Laboral |
Algoritmia, complejidad computacional y métodos de optimización |
| Fernández Fernández, Raúl |
Ingeniería del Software e Inteligencia Artificial |
Profesor Ayudante Doctor |
|
| Fernández Manjón, Baltasar |
Ingeniería del Software e Inteligencia Artificial |
Catedrático de Universidad |
Aplicaciones de la inteligencia artificial |
| Francisco Gilmartín, Virginia |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Freire Morán, Manuel |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| 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 |
Aceleradores hardware avanzados |
| García Merayo, Mercedes |
Sistemas Informáticos y Computación |
Catedrática de Universidad |
Métodos Formales en testing |
| García Sánchez, Carlos |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aceleradores hardware avanzados |
| Garcia Sevilla, Antonio |
Ingeniería del Software e Inteligencia Artificial |
Profesor Ayudante Doctor |
Procesamiento y generación de lenguaje natural |
| García Soto, Miriam |
Sistemas Informáticos y Computación |
Profesor Ayudante Doctor |
|
| García Villalba, Luis Javier |
Ingeniería del Software e Inteligencia Artificial |
Profesor Contratado Doctor |
Técnicas de especificación, análisis y verificación de sistemas |
| García-Magariño García, Iván |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
|
| Garnica Alcázar, Antonio Óscar |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aplicación de inteligencia artificial a ciberseguridad y redes |
| Genaim, Samir |
Sistemas Informáticos y Computación |
Titular de Universidad |
Aplicaciones de la inteligencia artificial |
| Gervás Gómez-Navarro, Pablo |
Ingeniería del Software e Inteligencia Artificial |
Catedrático de Universidad |
Aplicaciones biomédicas en informática |
| Gómez Albarrán, Mercedes |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Técnicas de verificación y optimización de programas |
| Gómez Martín, Marco Antonio |
Ingeniería del Software e Inteligencia Artificial |
Profesor Contratado Doctor |
Procesamiento y generación de lenguaje natural |
| Gómez Martínez, Maria Elena |
Sistemas Informáticos y Computación |
Profesor Contratado Doctor |
Aplicaciones de la Inteligencia Artificial |
| Gómez Pérez, José Ignacio |
Arquitectura de Computadores y Automática |
Titular de Universidad |
|
| Gómez Sanz, Jorge |
Ingeniería del Software e Inteligencia Artificial |
Catedrático de Universidad |
Sistemas multi-agentes |
| Gómez Silva, María José |
Arquitectura de Computadores y Automática |
Profesor Ayudante Doctor |
Control, automatización y robótica |
| Gómez-Zamalloa Gil, Miguel |
Sistemas Informáticos y Computación |
Titular de Universidad |
Técnicas de especificación, análisis y verificación de sistemas. |
| González Calero, Pedro Antonio |
Ingeniería del Software e Inteligencia Artificial |
Catedrático de Universidad |
Aplicaciones de la Inteligencia Artificial |
| González Calvo, Carlos |
Arquitectura de Computadores y Automática |
Titular de Universidad |
|
| Gordillo Alguacil, Pablo |
Sistemas Informáticos y Computación |
Profesor Ayudante Doctor |
Tratamiento de imágenes y visión por computador |
| Guijarro Mata-García, María |
Arquitectura de Computadores y Automática |
Catedrática de Universidad |
Técnicas de verificación y optimización de programas |
| Hassan Collado, Samer |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Tratamiento de imágenes y visión por computador |
| Hervás Ballesteros, Raquel |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Aplicaciones de la inteligencia artificial |
| Hidalgo Pérez, Ignacio |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Procesamiento y generación de lenguaje natural |
| Huedo Cuesta, Eduardo |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Aplicaciones biomédicas en informática |
| Igual Peña, Francisco |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Entornos de computación distribuida y computación en la nube (cloud y edge) |
| Imaña Pascual, José Luis |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| Jiménez Castellanos, Juan Francisco |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aceleradores hardware avanzados |
| Jiménez Díaz, Guillermo |
Ingeniería del Software e Inteligencia Artificial |
Profesor Contratado Doctor |
Aplicaciones de la inteligencia artificial |
| León Aznar, Carlos |
Ingeniería del Software e Inteligencia Artificial |
Profesor Contratado Doctor interino |
Procesamiento y generación de lenguaje natural |
| Llana Díaz, Luis Fernando |
Sistemas Informáticos y Computación |
Titular de Universidad |
Métodos Formales en testing |
| López Barquilla, Natalia |
Sistemas Informáticos y Computación |
Profesor Contratado Doctor |
Métodos Formales en testing |
| López Orozco, José Antonio |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Control, automatización y robótica |
| Maestro de la Cuerda, Juan Antonio |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Fiabilidad y corrección de errores en sistemas digitales |
| Manero Iglesias, Borja |
Ingeniería del Software e Inteligencia Artificial |
Profesor Contratado Doctor |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Martí Oliet, Narciso |
Sistemas Informáticos y Computación |
Catedrático de Universidad |
Algoritmia, complejidad computacional y métodos de optimización |
| Martín Martín, Enrique |
Sistemas Informáticos y Computación |
Profesor Contratado Doctor |
Técnicas de verificación y optimización de programas |
| Martínez Ortiz, Iván |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Mecha López, Hortensia |
Arquitectura de Computadores y Automática |
Catedrática de Universidad |
Fiabilidad y corrección de errores en sistemas digitales |
| Méndez Pozo, Gonzalo |
Ingeniería del Software e Inteligencia Artificial |
Profesor Contratado Doctor |
Procesamiento y generación de lenguaje natural |
| Molina Prego, María del Carmen |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Técnicas de especificación, análisis y verificación de sistemas |
| Montenegro Montes, Manuel |
Sistemas Informáticos y Computación |
Profesor Contratado Doctor |
Técnicas de verificación y optimización de programas |
| Moreno Vozmediano, Rafael |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Entornos de computación distribuida y computación en la nube (cloud y edge) |
| Mozos Muñoz, Daniel |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Tratamiento de imágenes y visión por computador |
| Navarro Martín, Antonio |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Núñez Covarrubias, Alberto |
Sistemas Informáticos y Computación |
Titular de Universidad |
Métodos Formales en testing |
| Núñez García, Manuel |
Sistemas Informáticos y Computación |
Catedrático de Universidad |
Métodos Formales en testing |
| Olcoz Herrero, Katzalín |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aceleradores hardware avanzados |
| Pacios Izquierdo, David |
Arquitectura de Computadores y Automática |
Profesor Ayudante Doctor |
Entornos de computación distribuida y computación en la nube (cloud y edge) |
| Palomino Tarjuelo, Miguel |
Sistemas Informáticos y Computación |
Titular de Universidad |
Aplicaciones de la Inteligencia Artificial |
| Pardines Lence, Inmaculada |
Arquitectura de Computadores y Automática |
Profesor Contratado Doctor |
Aplicación de inteligencia artificial a Ciberseguridad y Redes |
| Pavón Mestras, Juan |
Ingeniería del Software e Inteligencia Artificial |
Catedrático de Universidad |
Sistemas multi-agentes |
| Peinado Gil, Federico |
Ingeniería del Software e Inteligencia Artificial |
Profesor Contratado Doctor |
Tecnología educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Piñuel Moreno, Luis |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| Prieto Matías, Manuel |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| Rabanal Basalo, Pablo |
Sistemas Informáticos y Computación |
Titular de Universidad |
Algoritmia, complejidad computacional y métodos de optimización |
| Recas Piorno, Joaquín |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Tratamiento de imágenes y visión por computador |
| Recio García, Juan Antonio |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Aplicaciones de la inteligencia artificial |
| Requeno Jarabo, José Ignacio |
Sistemas Informáticos y Computación |
Profesor Permanente Laboral |
Métodos Formales en Testing |
| Rezaei, Mohammadreza |
Arquitectura de Computadores y Automática |
Profesor Ayudante Doctor |
Fiabilidad y corrección de errores en sistemas digitales |
| Riesco Rodríguez, Adrián |
Sistemas Informáticos y Computación |
Titular de Universidad |
Técnicas de especificación, análisis y verificación de sistemas. |
| Risco Martín, José Luis |
Arquitectura de Computadores y Automática |
Catedrático de Universidad |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| Rodríguez Laguna, Ismael |
Sistemas Informáticos y Computación |
Titular de Universidad |
Algoritmia, complejidad computacional y métodos de optimización |
| Romero Hernández, Alejandro |
Ingeniería del Software e Inteligencia Artificial |
Profesor Ayudante Doctor |
Tecnologia educativa, e-learning, juegos serios, simulaciones, aplicaciones, analíticas y estándares |
| Rosa Velardo, Fernando |
Sistemas Informáticos y Computación |
Titular de Universidad |
Algoritmia, complejidad computacional y métodos de optimización |
| Ruano Ramos, Óscar |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Fiabilidad y corrección de errores en sistemas digitales |
| Rubio Cuellar, Rubén Rafael |
Sistemas Informáticos y Computación |
Profesor Ayudante Doctor |
Técnicas de especificación, análisis y verificación de sistemas |
| Rubio Diez, Fernando |
Sistemas Informáticos y Computación |
Titular de Universidad |
Algoritmia, complejidad computacional y métodos de optimización |
| Rubio Gimeno, Albert |
Sistemas Informáticos y Computación |
Catedrático de Universidad |
Técnicas de verificación y optimización de programas |
| Sáenz Pérez, Fernando |
Ingeniería del Software e Inteligencia Artificial |
Titular de Universidad |
Técnicas de especificación, análisis y verificación de sistemas. |
| Saez Alcaide, Juan Carlos |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Soluciones arquitectónicas y a nivel de software de sistema a nuevos retos tecnológicos |
| Sagredo Olivenza, Ismael |
Ingeniería del Software e Inteligencia Artificial |
Profesor Ayudante Doctor |
Aplicaciones de la inteligencia artificial |
| Sánchez Hernández, Jaime |
Sistemas Informáticos y Computación |
Titular de Universidad |
Aplicaciones de la inteligencia artificial |
| 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 |
Aplicación de inteligencia artificial a ciberseguridad y redes |
| Santiago Montero, Rubén |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Entornos de computación distribuida y computación en la nube (cloud y edge) |
| Santos Peñas, Matilde |
Arquitectura de Computadores y Automática |
Catedrática de Universidad |
Aplicaciones de la inteligencia artificial |
| Sarasa Cabezuelo, Antonio |
Sistemas Informáticos y Computación |
Titular de Universidad |
Aplicaciones biomédicas en informática |
| Segura Díaz, Clara María |
Sistemas Informáticos y Computación |
Titular de Universidad |
Técnicas de verificación y optimización de programas |
| Sierra Rodríguez, José Luis |
Ingeniería del Software e Inteligencia Artificial |
Catedrático de Universidad |
Técnicas de especificación, análisis y verificación de sistemas |
| Tenllado van der Reijden, Christian |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Aceleradores hardware avanzados |
| Tomas Rodriguez, María |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Control, automatización y robótica |
| Vázquez Poletti, José Luis |
Arquitectura de Computadores y Automática |
Titular de Universidad |
Entornos de computación distribuida y computación en la nube (cloud y edge) |
| Verdejo López, José Alberto |
Sistemas Informáticos y Computación |
Titular de Universidad |
Técnicas de especificación, análisis y verificación de sistemas |
