Fichas docentes de asignaturas 2024-2025



MÁSTER EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA (Máster)
Todas las fichas

PRIMER CURSO
609024 - Teoría de lenguajes de programación (TL) - Coord: Fabregas Álfaro, Ignacio - (1er Cuatrimestre) - Última Modificación: 23/06/2024
             (Theory of Programming Languages)
609025 - Análisis estático de programas y resolución de restricciones (AERR) - Coord: Gómez Martínez, Mª Elena - (1er Cuatrimestre) - Última Modificación: 20/06/2024
             (Static analysis of programs and constraint solving)
609026 - Modelos de la concurrencia (MC) - Coord: Rosa Velardo, Fernando - (1er Cuatrimestre) - Última Modificación: 23/06/2022
             (Concurrency models)
609027 - Verificación asistida de programas (VA) - Coord: Segura Díaz, Clara Mª - (2do Cuatrimestre) - Última Modificación: 20/06/2024
             (Computer-aided Program Verification)
609028 - Métodos formales de testing (MFT) - Coord: Requeno Jarabo, José Ignacio - (1er Cuatrimestre) - Última Modificación: 23/06/2022
             (Formal methods in testing)
609029 - Análisis de sistemas concurrentes y distribuidos (ASCD) - Coord: Albert Albiol, Elvira María - (2do Cuatrimestre) - Última Modificación: 24/06/2024
             (Analysis of Concurrent and Distributed Systems)
609030 - Diseño de sistemas correctos por construcción (DSCC) - Coord: Rubio Gimeno, Albert - (2do Cuatrimestre) - Última Modificación: 27/06/2022
             (Design of correct-by-construction systems)
609032 - Diseño de algoritmos bioinspirados (DABI) - Coord: Rubio Diez, Fernando - (1er Cuatrimestre) - Última Modificación: 15/06/2023
             (Design of bio-inspired algorithms)
609034 - Diseño y análisis de protocolos de seguridad (DAPS) - Coord: Rubio Gimeno, Albert - (Anual) - Última Modificación: 07/09/2021
             (Design and analysis of security protocols)
609035 - Computación cuántica (CC) - Coord: Lucia , Angelo - (2do Cuatrimestre) - Última Modificación: 15/06/2023
             (Quantum computing)