Métodos Formales en Ingeniería Informática (Con UAM y UPM)

Máster. Curso 2024/2025.

MÁSTER UNIVERSITARIO EN MÉTODOS FORMALES EN INGENIERÍA INFORMÁTICA

Curso Académico 2024-25

Curso 1

CódigoAsignaturaCarácterCréditosOfertada
609029ANÁLISIS DE SISTEMAS CONCURRENTES Y DISTRIBUIDOSOPTATIVA6.0Si
609025ANÁLISIS ESTÁTICO DE PROGRAMAS Y RESOLUCIÓN DE RESTRICCIONESOBLIGATORIA6.0Si
609035COMPUTACIÓN CUÁNTICAOPTATIVA6.0Si
609032DISEÑO DE ALGORITMOS BIOINSPIRADOSOPTATIVA6.0Si
609030DISEÑO DE SISTEMAS CORRECTOS POR CONSTRUCCIÓNOPTATIVA6.0Si
609034DISEÑO Y ANÁLISIS DE PROTOCOLOS DE SEGURIDADOPTATIVA6.0Si
609028MÉTODOS FORMALES DE TESTINGOPTATIVA6.0Si
609026MODELOS DE LA CONCURRENCIAOBLIGATORIA6.0Si
609036PRÁCTICAS EN EMPRESAS O GRUPOS DE INVESTIGACIÓNOPTATIVA6.0Si
609024TEORÍA DE LENGUAJES DE PROGRAMACIÓNOBLIGATORIA6.0Si
609037TRABAJO FIN DE MÁSTERTrabajo fin de Máster12.0Si
609027VERIFICACIÓN ASISTIDA DE PROGRAMASOPTATIVA6.0Si

Sin curso definido

CódigoAsignaturaCarácterCréditosOfertada
609169FUNDAMENTOS DE LOS LENGUAJES INFORMÁTICOSCOMPLEMENTO DE FORMACION6.0Si
609170MÉTODOS ALGORÍTMICOS EN RESOLUCIÓN DE PROBLEMASCOMPLEMENTO DE FORMACION9.0Si
609171PROCESADORES DE LENGUAJESCOMPLEMENTO DE FORMACION6.0Si
609173PROGRAMACIÓN CONCURRENTECOMPLEMENTO DE FORMACION6.0Si
609172PROGRAMACIÓN DECLARATIVACOMPLEMENTO DE FORMACION6.0Si