| 610611 | ANÁLISIS DE SISTEMAS CONCURRENTES Y DISTRIBUIDOS | OPTATIVA | 6.0 | Si |
| 610608 | ANÁLISIS ESTÁTICO Y RESOLUCIÓN DE RESTRICCIONES | OBLIGATORIA | 6.0 | Si |
| 610616 | COMPUTACIÓN CUÁNTICA | OPTATIVA | 6.0 | Si |
| 610615 | DISEÑO DE ALGORITMOS BIOINSPIRADOS | OPTATIVA | 6.0 | Si |
| 610613 | DISEÑO DE SISTEMAS CORRECTOS POR CONSTRUCCIÓN | OPTATIVA | 6.0 | Si |
| 610609 | MÉTODOS FORMALES DE TESTING | OPTATIVA | 6.0 | Si |
| 610614 | MODELOS DE LA CONCURRENCIA | OPTATIVA | 6.0 | Si |
| 610617 | PRÁCTICAS EN EMPRESAS O GRUPOS DE INVESTIGACIÓN | OPTATIVA | 6.0 | Si |
| 610612 | PROTOCOLOS CRIPTOGRÁFICOS Y SUS APLICACIONES | OPTATIVA | 6.0 | Si |
| 610607 | TEORÍA DE LENGUAJES DE PROGRAMACIÓN | OBLIGATORIA | 6.0 | Si |
| 610618 | TRABAJO FIN DE MÁSTER | Trabajo fin de Máster | 12.0 | Si |
| 610610 | VERIFICACIÓN ASISTIDA DE PROGRAMAS | OPTATIVA | 6.0 | Si |
