MÁSTER EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA - Máster
(Código de Estudio:066C)
PRIMER CURSO
GEAASIGNATURATIPOECTS
609024 609024 Teoría de lenguajes de programaciónObligatoria
6
609025 609025 Análisis estático de programas y resolución de restriccionesObligatoria
6
609026 609026 Modelos de la concurrenciaObligatoria
6
609027 609027 Verificación asistida de programasOptativa
6
609028 609028 Métodos formales de testingOptativa
6
609029 609029 Análisis de sistemas concurrentes y distribuidosOptativa
6
609030 609030 Diseño de sistemas correctos por construcciónOptativa
6
609031 609031 Desarrollo formal de software dirigido por modelosOptativa
6
609032 609032 Diseño de algoritmos bioinspiradosOptativa
6
609033 609033 Aprendizaje automáticoOptativa
6
609034 609034 Diseño y análisis de protocolos de seguridadOptativa
6
609035 609035 Computación cuánticaOptativa
6
609036 609036 Prácticas en empresas o grupos de investigaciónOptativa
6
609037 609037 Trabajo fin de másterObligatoria
12