| 610607 | 610607 Teoría de lenguajes de programación | Obligatoria
| 6
|
| 610608 | 610608 Análisis estático de programas y resolución de restricciones | Obligatoria
| 6
|
| 610609 | 610609 Métodos formales de testing | Optativa
| 6
|
| 610610 | 610610 Verificación asistida de programas | Optativa
| 6
|
| 610611 | 610611 Análisis de sistemas concurrentes y distribuidos | Optativa
| 6
|
| 610612 | 610612 Protocolos Criptográficos y sus Aplicaciones | Optativa
| 6
|
| 610613 | 610613 Diseño de sistemas correctos por construcción | Optativa
| 6
|
| 610614 | 610614 Modelos de la concurrencia | Optativa
| 6
|
| 610615 | 610615 Diseño de algoritmos bioinspirados | Optativa
| 6
|
| 610616 | 610616 Computación cuántica | Optativa
| 6
|
| 610617 | 610617 Prácticas en empresas o grupos de investigación | Optativa
| 6
|
| 610618 | 610618 Trabajo fin de máster | Obligatoria
| 12
|