Profesorado
Profesores del Máster - Curso 2022/2023
Coordinación
Narciso Martí Oliet
Vicedecano de posgrado
Departamento de Sistemas Informáticos y Computación
Despacho: 441 Teléfono: 91 394 75 57
Albert Rubio Gimeno
Coordinador del máster (UCM y general)
Departamento de Sistemas Informáticos y Computación
Despacho: 439 Teléfono: 91 394 75 55
Juan de Lara Jaramillo
Coordinador del máster (UAM)
Ingeniería Informática
Despacho: B430 (EPS-UAM) Teléfono: 91 497 22 77
Manuel Carro Liñares
Coordinador del máster (UPM)
Lenguajes y Sistemas Informáticos e Ingeniería del Software
Despacho: D3323 (ETSIINF‐UPM) Teléfono: 91 067 29 39
Profesores de asignaturas
Elvira Albert Albiol
Análisis de sistemas concurrentes y distribuidos
Departamento de Sistemas Informáticos y Computación
Despacho: 434 Teléfono: 91 394 76 41
Clara Benac Earle
Análisis de sistemas concurrentes y distribuidos
Lenguajes y Sistemas Informáticos e Ingeniería del Software
Despacho: D2308 (ETSIINF‐UPM) Teléfono: 91 067 29 93
Manuel Carro Liñares
Diseño de sistemas correctos por construcción
Lenguajes y Sistemas Informáticos e Ingeniería del Software
Despacho: D3323 (ETSIINF‐UPM) Teléfono: 91 067 29 39
David de Frutos Escrig
Modelos de la concurrencia
Departamento de Sistemas Informáticos y Computación
Despacho: 310C (Matemáticas) Teléfono: 91 394 45 29
Juan de Lara Jaramillo
Desarrollo formal de software dirigido por modelos
Ingeniería Informática
Despacho: B430 (EPS-UAM) Teléfono: 91 497 22 77
Ignacio Frábregas Alfaro
Teoría de lenguajes de programación
Departamento de Sistemas Informáticos y Computación
Despacho: 310F (Matemáticas) Teléfono: 91 394 45 12
Ignacio Frábregas Alfaro
Modelos de la concurrencia
Departamento de Sistemas Informáticos y Computación
Despacho: 310F (Matemáticas) Teléfono: 91 394 45 12
Lars-Ake Fredlund
Análisis de sistemas concurrentes y distribuidos
Lenguajes y Sistemas Informáticos e Ingeniería del Software
Despacho: D2309 (ETSIINF‐UPM) Teléfono: 91 067 29 49
María Elena Gómez Martínez
Análisis estático de programas y resolución de restricciones
Ingeniería Informática
Despacho: B424 (EPS-UAM) Teléfono: 91 497 23 58
María Elena Gómez Martínez
Desarrollo formal de software dirigido por modelos
Ingeniería Informática
Despacho: B424 (EPS-UAM) Teléfono: 91 497 23 58
Ana María González Marcos
Aprendizaje automático
Ingeniería Informática
Despacho: B332 (EPS-UAM) Teléfono: 91 497 22 34
Esther Guerra Sánchez
Desarrollo formal de software dirigido por modelos
Ingeniería Informática
Despacho: B419 (EPS-UAM) Teléfono: 91 497 74 76
Manuel Hermenegildo Salinas
Diseño de sistemas correctos por construcción
Departamento de Inteligencia Artificial
Despacho: D2212 (ETSIINF‐UPM) Teléfono: 91 067 28 93
Luis Fernando Lago Fernández
Aprendizaje automático
Ingeniería Informática
Despacho: B307 (EPS-UAM) Teléfono: 91 497 22 11
Angelo Lucia
Computación cuántica
Departamento de Análisis Matemático y Matemática Aplicada
Despacho: 489 (Matemáticas) Teléfono: 91 394 44 76
Julio Mariño Carballo
Teoría de lenguajes de programación
Lenguajes y Sistemas Informáticos e Ingeniería del Software
Despacho: D2308 (ETSIINF‐UPM) Teléfono: 91 067 29 62
Narciso Martí Oliet
Teoría de lenguajes de programación
Departamento de Sistemas Informáticos y Computación
Despacho: 441 Teléfono: 91 394 75 57
Manuel Montenegro Montes
Análisis estático de programas y resolución de restricciones
Departamento de Sistemas Informáticos y Computación
Despacho: 219 Teléfono: 91 394 76 48
Manuel Núñez García
Métodos formales de testing
Departamento de Sistemas Informáticos y Computación
Despacho: 419 Teléfono: 91 394 76 28
Ricardo Peña Marí
Verificación asistida de programas
Departamento de Sistemas Informáticos y Computación
Despacho: 418 Teléfono: 91 394 76 27
David Pérez García
Computación cuántica
Departamento de Análisis Matemático y Matemática Aplicada
Despacho: 305-D (Matemáticas) Teléfono: 91 394 46 55
Jose Ignacio Requeno Jarabo
Métodos formales de testing
Departamento de Sistemas Informáticos y Computación
Despacho: 418 Teléfono: 91 394 76 27
Ismael Rodríguez Laguna
Diseño de algoritmos bioinspirados
Departamento de Sistemas Informáticos y Computación
Despacho: 429 Teléfono: 91 394 76 36
Juan Jesús Roldán Gómez
Diseño de algoritmos bioinspirados
Ingeniería Informática
Despacho: UAM Teléfono:
Guillermo Román Díez
Análisis de sistemas concurrentes y distribuidos
Lenguajes y Sistemas Informáticos e Ingeniería del Software
Despacho: D2304 (ETSIINF‐UPM) Teléfono: 91 067 29 97
Fernando Rosa Velardo
Modelos de la concurrencia
Departamento de Sistemas Informáticos y Computación
Despacho: 434 Teléfono: 91 394 76 41
Fernando Rubio Diez
Diseño de algoritmos bioinspirados
Departamento de Sistemas Informáticos y Computación
Despacho: 422 Teléfono: 91 394 76 29
Albert Rubio Gimeno
Análisis de sistemas concurrentes y distribuidos
Departamento de Sistemas Informáticos y Computación
Despacho: 439 Teléfono: 91 394 75 55
Manuel Antonio Sánchez‐Montañés Isla
Aprendizaje automático
Ingeniería Informática
Despacho: B303 (EPS-UAM) Teléfono: 91 497 22 90
Clara María Segura Díaz
Verificación asistida de programas
Departamento de Sistemas Informáticos y Computación
Despacho: 416 Teléfono: 91 394 76 25
Clara María Segura Díaz
Análisis estático de programas y resolución de restricciones
Departamento de Sistemas Informáticos y Computación
Despacho: 416 Teléfono: 91 394 76 25