Fichas docentes de asignaturas 2019-2020
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: Riesco Rodríguez, Adrián - (1er Cuatrimestre) - Última Modificación: 05/07/2019
(Theory of Programming Languages)
609025 - Análisis estático de programas y resolución de restricciones
(AERR)
- Coord: Montenegro Montes, Manuel - (1er Cuatrimestre) - Última Modificación: 18/06/2019
(Static analysis of programs and constraint solving)
609026 - Modelos de la concurrencia
(MC)
- Coord: Frutos Escrig, David de - (1er Cuatrimestre) - Última Modificación: 25/09/2018
(Concurrency models)
609027 - Verificación asistida de programas
(VA)
- Coord: Peña Marí, Ricardo - (2do Cuatrimestre) - Última Modificación: 02/07/2019
(Computer-aided Program Verification)
**** Adenda 2020 -->
VA-MMFII.pdf
609028 - Métodos formales de testing
(MFT)
- Coord: García Merayo, Mª. de las Mercedes - (1er Cuatrimestre) - Última Modificación: 19/06/2019
(Formal methods in testing)
609029 - Análisis de sistemas concurrentes y distribuidos
(ASCD)
- Coord: Albert Albiol, Elvira María - (2do Cuatrimestre) - Última Modificación: 09/07/2019
(Analysis of Concurrent and Distributed Systems)
**** Adenda 2020 -->
ASCD-MMFII.pdf
609030 - Diseño de sistemas correctos por construcción
(DSCC)
- Coord: Peña Marí, Ricardo - (2do Cuatrimestre) - Última Modificación: 02/07/2019
(Design of correct-by-construction systems)
**** Adenda 2020 -->
DSCC-MMFII.pdf
609031 - Desarrollo formal de software dirigido por modelos
(DDM)
- Coord: Peña Marí, Ricardo - (1er Cuatrimestre) - Última Modificación: 25/09/2018
(Formal model-driven software development)
609032 - Diseño de algoritmos bioinspirados
(DABI)
- Coord: Peña Marí, Ricardo - (1er Cuatrimestre) - Última Modificación: 02/07/2019
(Design of bio-inspired algorithms)
609033 - Aprendizaje automático
(AA)
- Coord: Peña Marí, Ricardo - (1er Cuatrimestre) - Última Modificación: 04/07/2019
(Machine learning)
609035 - Computación cuántica
(CC)
- Coord: Villanueva Diez, Ignacio - (2do Cuatrimestre) - Última Modificación: 04/07/2019
(Quantum computing)
**** Adenda 2020 -->
CC-MMFII.pdf