Profesorado

Profesores del Máster - Curso 2019/2020

Coordinación

Narciso Martí Oliet
   Vicedecano de posgrado
   Departamento de Sistemas Informáticos y Computación
   Despacho: 441 Teléfono: 91 394 75 57

Ricardo Peña Marí
   Coordinador del máster (UCM y general)
   Departamento de Sistemas Informáticos y Computación
   Despacho: 418 Teléfono: 91 394 76 27

Juan de Lara Jaramillo
   Coordinador del máster (UAM)
   Ingeniería Informática
   Despacho: B430 (EPS-UAM) Teléfono: 91 497 22 77

Carro Liñares Manuel
   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

Rubio Diez Fernando
   Diseño de algoritmos bioinspirados
   Departamento de Sistemas Informáticos y Computación
   Despacho: 422 Teléfono: 91 394 76 29

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 de las Mercedes García Merayo
   Métodos formales de testing
   Departamento de Sistemas Informáticos y Computación
   Despacho: 446 Teléfono: 91 394 76 33

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

Carlos Gregorio Rodríguez
   Modelos de la concurrencia
   Departamento de Sistemas Informáticos y Computación
   Despacho: 451 (Matemáticas) Teléfono: 91 394 45 27

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

Angel Herranz Nieva
   Diseño de sistemas correctos por construcción
   Lenguajes y Sistemas Informáticos e Ingeniería del Software
   Despacho: D2309 (ETSIINF‐UPM) Teléfono: 91 067 29 56

Luis fernando Lago Fernández
   Aprendizaje automático
   Ingeniería Informática
   Despacho: B307 (EPS-UAM) Teléfono: 91 497 22 11

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

Manuel Montenegro Montes
   Teoría de lenguajes de programación
   Departamento de Sistemas Informáticos y Computación
   Despacho: 219 Teléfono: 91 394 76 48

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

Alberto Núñez Covarrubias
   Métodos formales de testing
   Departamento de Sistemas Informáticos y Computación
   Despacho: 339 Teléfono: 91 394 75 31

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

Alfonso Ortega de la Puente
   Diseño de algoritmos bioinspirados
   Ingeniería Informática
   Despacho: B339 (EPS-UAM) Teléfono: 91 497 22 79

Carlos Palazuelos Cabezón
   Computación cuántica
   Departamento de Análisis Matemático y Matemática Aplicada
   Despacho: 485 (Matemáticas) Teléfono: 91 394 44 16

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

Adrián Riesco Rodríguez
   Teoría de lenguajes de programación
   Departamento de Sistemas Informáticos y Computación
   Despacho: 219 Teléfono: 91 394 76 48

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

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

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

Ignacio Villanueva Díez
   Computación cuántica
   Departamento de Análisis Matemático y Matemática Aplicada
   Despacho: 435 (Matemáticas) Teléfono: 91 394 44 74

Damiano Zanardini
   Análisis de sistemas concurrentes y distribuidos
   Departamento de Inteligencia Artificial
   Despacho: D2205 (ETSIINF‐UPM) Teléfono: 91 067 29 09