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