Profesorado

Profesores del Máster - Curso 2021/2022

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: 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

El conjunto de profesores que imparten docencia en el máster son doctores que participan en proyectos de investigación en el área de métodos formales.

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