Profesores del Máster - Curso 2024/2025

Coordinación

Narciso Martí Oliet
   Vicedecano de posgrado
   Departamento de Sistemas Informáticos y Computación
    Despacho: 441 (FDI-UCM) 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: 433 (FDI-UCM) Teléfono: 91 394 76 40

Guillermo Román Díez
   Coordinador del máster (UPM)
   Lenguajes y Sistemas Informáticos e Ingeniería del Software
    Despacho: D2304 (ETSIINF‐UPM) Teléfono: 91 067 29 97

Directores de TFMs del curso 2024/2025

 

Profesores de asignaturas

Elvira Albert Albiol
   Análisis de sistemas concurrentes y distribuidos
   Departamento de Sistemas Informáticos y Computación
    Despacho: 434 (FDI-UCM) Teléfono: 91 394 76 41

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

Ignacio Cascudo Pueyo
   Diseño y Análisis de Protocolos de Seguridad
   IMDEA Software Institute
    Despacho: 368 Teléfono: 911 01 22 02

David de Frutos Escrig
   Modelos de la concurrencia
   Departamento de Sistemas Informáticos y Computación
    Despacho: 310C (Matemáticas-UCM) Teléfono: 91 394 45 29

Dario Fiore
   Diseño y Análisis de Protocolos de Seguridad
   IMDEA Software Institute
    Despacho: 372 Teléfono: 911 01 22 02

Ignacio Frábregas Alfaro
   Teoría de lenguajes de programación
   Modelos de la concurrencia
   Departamento de Sistemas Informáticos y Computación
    Despacho: 310F (Matemáticas-UCM) 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
   Métodos formales de testing
   Modelos de la concurrencia
   Departamento de Sistemas Informáticos y Computación
    Despacho: 428 (FDI-UCM) Teléfono: 91 394 76 35

Pablo Gordillo Alguacil
   Análisis de sistemas concurrentes y distribuidos
   Departamento de Sistemas Informáticos y Computación
    Despacho: 220 (FDI-UCM) Teléfono: 91 394 76 46

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

Miguel Isabel Márquez
   Análisis de sistemas concurrentes y distribuidos
   Departamento de Sistemas Informáticos y Computación
    Despacho: 220 (FDI-UCM) Teléfono: 91 394 76 46

Angelo Lucia
   Computación cuántica
   Departamento de Análisis Matemático y Matemática Aplicada
    Despacho: 489 (Matemáticas-UCM) 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 (FDI-UCM) 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 (FDI-UCM) Teléfono: 91 394 76 48

Pedro Moreno Sánchez
   Diseño y Análisis de Protocolos de Seguridad
   IMDEA Software Institute
    Despacho: 310 Teléfono: 911 01 22 02

Vazou Niki
   Verificación asistida de programas
   IMDEA Software Institute
    Despacho: 384 Teléfono: 911 01 22 02

Manuel Núñez García
   Métodos formales de testing
   Departamento de Sistemas Informáticos y Computación
    Despacho: 419 (FDI-UCM) Teléfono: 91 394 76 28

David Pérez García
   Computación cuántica
   Departamento de Análisis Matemático y Matemática Aplicada
    Despacho: 305D (Matemáticas-UCM) 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 (FDI-UCM) 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 (FDI-UCM) 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 (FDI-UCM) Teléfono: 91 394 76 41

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

Clara María Segura Díaz
   Verificación asistida de programas
   Análisis estático de programas y resolución de restricciones
   Departamento de Sistemas Informáticos y Computación
    Despacho: 416 (FDI-UCM) Teléfono: 91 394 76 25