Fichas docentes de asignaturas 2025-2026
MÁSTER EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA (Máster)
PRIMER CURSO
610607 - Teoría de lenguajes de programación
(TL)
- Coord: Fabregas Álfaro, Ignacio - (1er Cuatrimestre) - Última Modificación: 23/06/2024
(Theory of Programming Languages)
610608 - 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)
610609 - Métodos formales de testing
(MFT)
- Coord: Requeno Jarabo, José Ignacio - (1er Cuatrimestre) - Última Modificación: 23/06/2022
(Formal methods in testing)
610610 - Verificación asistida de programas
(VA)
- Coord: Segura Díaz, Clara Mª - (1er Cuatrimestre) - Última Modificación: 20/06/2024
(Computer-aided Program Verification)
610611 - Análisis de sistemas concurrentes y distribuidos
(ASCD)
- Coord: Rubio Gimeno, Albert - (1er Cuatrimestre) - Última Modificación: 24/06/2024
(Analysis of Concurrent and Distributed Systems)
610612 - Protocolos Criptográficos y sus Aplicaciones
(PCA)
- Coord: Rubio Gimeno, Albert - (1er Cuatrimestre) - Última Modificación: 24/06/2024
610613 - Diseño de sistemas correctos por construcción
(DSCC)
- Coord: Rubio Gimeno, Albert - (1er Cuatrimestre) - Última Modificación: 27/06/2022
(Design of correct-by-construction systems)
610614 - Modelos de la concurrencia
(MC)
- Coord: Rosa Velardo, Fernando - (1er Cuatrimestre) - Última Modificación: 23/06/2022
(Concurrency models)
610615 - Diseño de algoritmos bioinspirados
(DABI)
- Coord: Rubio Diez, Fernando - (1er Cuatrimestre) - Última Modificación: 15/06/2023
(Design of bio-inspired algorithms)
610616 - Computación cuántica
(CC)
- Coord: Pérez García, David - (1er Cuatrimestre) - Última Modificación: 15/06/2023
(Quantum computing)