Fichas docentes de asignaturas 2018-2019



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: 25/09/2018
             (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: 25/09/2018
             (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: 25/09/2018
             (Computer-aided Program Verification)
609028 - Métodos formales de testing (MFT) - Coord: García Merayo, Mª. de las Mercedes - (1er Cuatrimestre) - Última Modificación: 25/09/2018
             (Formal methods in testing)
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: 25/09/2018
             (Design of bio-inspired algorithms)
609033 - Aprendizaje automático (AA) - Coord: Peña Marí, Ricardo - (1er Cuatrimestre) - Última Modificación: 25/09/2018
             (Machine learning)
609035 - Computación cuántica (CC) - Coord: Peña Marí, Ricardo - (2do Cuatrimestre) - Última Modificación: 25/09/2018
             (Quantum computing)