| 609024 | 609024 Teoría de lenguajes de programación | Obligatoria
| 6
|
| 609025 | 609025 Análisis estático de programas y resolución de restricciones | Obligatoria
| 6
|
| 609026 | 609026 Modelos de la concurrencia | Obligatoria
| 6
|
| 609027 | 609027 Verificación asistida de programas | Optativa
| 6
|
| 609028 | 609028 Métodos formales de testing | Optativa
| 6
|
| 609029 | 609029 Análisis de sistemas concurrentes y distribuidos | Optativa
| 6
|
| 609030 | 609030 Diseño de sistemas correctos por construcción | Optativa
| 6
|
| 609031 | 609031 Desarrollo formal de software dirigido por modelos | Optativa
| 6
|
| 609032 | 609032 Diseño de algoritmos bioinspirados | Optativa
| 6
|
| 609033 | 609033 Aprendizaje automático | Optativa
| 6
|
| 609034 | 609034 Diseño y análisis de protocolos de seguridad | Optativa
| 6
|
| 609035 | 609035 Computación cuántica | Optativa
| 6
|
| 609036 | 609036 Prácticas en empresas o grupos de investigación | Optativa
| 6
|
| 609037 | 609037 Trabajo fin de máster | Obligatoria
| 12
|