MÁSTER INGENIERÍA INFORMÁTICA - Máster
(Código de Estudio:M12)
PRIMER CURSO
GEAASIGNATURATIPOECTS
  Gestión de Eimpresas de Base Tecnológica y Sistemas InformáticosObligatoria
6
  Dirección y gestión de proyectos softwareObligatoria
6
607286 607286 Dirección y gestión de proyectos y sistemas informáticosObligatoria
6
607287 607287 Implantación corporativa de tecnologías, servicios y sistemas informáticosObligatoria
6
607288 607288 Gráficos por computadorObligatoria
6
607289 607289 Tecnologías multimedia e interacciónObligatoria
6
607290 607290 Sistemas de gestión de datos y de la informaciónObligatoria
6
607291 607291 Desarrollo de aplicaciones y servicios inteligentesObligatoria
6
607292 607292 Auditoría, calidad y fiabilidad informáticasObligatoria
6
607293 607293 Sistemas empotrados distribuidosObligatoria
6
607294 607294 Redes de nueva generación e InternetObligatoria
6
607295 607295 Computación de altas prestaciones y aplicacionesObligatoria
6

SEGUNDO CURSO
GEAASIGNATURATIPOECTS
607295  Arquitectura del Nodo IoTObligatoria
6
607295  Redes, Protocolos e Interfaces IObligatoria
6
607296 607296 Desarrollo de videojuegosOptativa
6
607297 607297 Ingeniería del software dirigida por modelosOptativa
6
607298 607298 Programación declarativa aplicadaOptativa
6
607299 607299 Visualización avanzadaOptativa
6
607300 607300 Administración de bases de datosOptativa
6
607301 607301 E-learningOptativa
6
607302 607302 Diseño de sistemas en chipOptativa
6
607303 607303 Arquitectura de procesadoresOptativa
6
607304 607304 Codiseño hardware-softwareOptativa
6
607305 607305 Prácticas en empresasOptativa
6
607306 607306 Trabajo fin de másterObligatoria
12

MÁSTER EN INVESTIGACIÓN EN INFORMÁTICA 2009 - Máster
(Código de Estudio:M09)
FORMACIÓN BASE
GEAASIGNATURATIPOESPECIALIDADECTS
600884 122013 BioinformáticaOptativa
Ingeniería de computadores
6
600885 122014 Compiladores para Arquitecturas de Alto RendimientoOptativa
Ingeniería de computadores
6
600886 122015 Computación en Red y Tecnología GridOptativa
Ingeniería de computadores
6
600887 122016 Hardware Dinámicamente ReconfigurableOptativa
Ingeniería de computadores
6
600888 122017 Metodología de Diseño de Sistemas AsíncronosOptativa
Ingeniería de computadores
6
600889 122018 Síntesis Arquitectónica de Alto NivelOptativa
Ingeniería de computadores
6
600890 122019 Técnicas de Alto Rendimiento en el Diseño de ProcesadoresOptativa
Ingeniería de computadores
6
600891 122020 Tecnologías Avanzadas de Redes y TelecomunicacionesOptativa
Ingeniería de computadores
6
600892 122021 Control InteligenteOptativa
Ingeniería informática para la industria
6
600893 122022 Diseño de Sistemas EmpotradosOptativa
Ingeniería informática para la industria
6
600894 122023 Optimización en el Control de ProcesosOptativa
Ingeniería informática para la industria
6
600895 122024 Percepción Visual ArtificialOptativa
Ingeniería informática para la industria
6
600896 122025 Redes Neuronales y sus AplicacionesOptativa
Ingeniería informática para la industria
6
600897 122026 Análisis y Transformación de ProgramasOptativa
Programación y tecnología software
7,5
600898 122027 Aplicación de Principios Económicos al Desarrollo de Sistemas ComputacionalesOptativa
Programación y tecnología software
6
600899 122028 Especificación y Validación del SoftwareOptativa
Programación y tecnología software
7,5
600900 122029 Modelado de Sólidos y Técnicas de VisualizaciónOptativa
Programación y tecnología software
7,5
600901 122030 Modelos Abstractos de CómputoOptativa
Programación y tecnología software
4,5
600902 122031 Modelos de Sistemas Concurrentes y DistribuidosOptativa
Programación y tecnología software
7,5
600903 122032 Requisitos SoftwareOptativa
Programación y tecnología software
4,5
600904 122033 Seguridad de ComputadoresOptativa
Programación y tecnología software
6
600905 122034 Aprendizaje AutomáticoOptativa
Sistemas inteligentes
6
600906 122035 Agentes InteligentesOptativa
Sistemas inteligentes
6
600907 122036 Deducción AutomáticaOptativa
Sistemas inteligentes
4,5
600908 122037 E-LearningOptativa
Sistemas inteligentes
6
600909 122038 Extensiones de Programación LógicaOptativa
Sistemas inteligentes
6
600910 122039 Ingeniería LingüisticaOptativa
Sistemas inteligentes
6
600911 122040 Razonamiento Aproximado y con IncertidumbreOptativa
Sistemas inteligentes
4,5
600912 122041 Trabajo fin de Master en Ingeniería de ComputadoresObligatoria (según especialidad)
Ingeniería de computadores
30
600913 122042 Trabajo fin de Master en Ingeniería Informática para la IndustriaObligatoria (según especialidad)
Ingeniería informática para la industria
30
600914 122043 Trabajo fin de Master en Programación y Tecnología SoftwareObligatoria (según especialidad)
Programación y tecnología software
30
600915 122044 Trabajo fin de Master en Sistemas InteligentesObligatoria (según especialidad)
Sistemas inteligentes
30

COMPLEMENTOS DE FORMACIÓN
GEAASIGNATURATIPOESPECIALIDADECTS
601356 122001 Estructura de Datos y de la InformaciónN/A
N/A
12
601350 122002 Metodología y Tecnología de la ProgramaciónN/A
N/A
12
601357 122003 Teoría de Autómatas y Lenguajes FormalesN/A
N/A
9
601351 122004 Procesadores de LenguajeN/A
N/A
9
601358 122005 Estructura y Tecnología de ComputadoresN/A
N/A
9
601359 122006 Sistemas OperativosN/A
N/A
6
601353 122007 RedesN/A
N/A
9
601354 122008 Arquitectura e Ingeniería de ComputadoresN/A
N/A
9
601355 122009 Bases de Datos y Sistemas de InformaciónN/A
N/A
12
601363 122010 Ingeniería del Software 1N/A
N/A
9
601364 122011 Ingeniería del Software 2N/A
N/A
9
601352 122012 Inteligencia Artificial e Ingeniería del ConocimientoN/A
N/A
9

MÁSTER EN INTERNET DE LAS COSAS - Máster
(Código de Estudio:065S)
PRIMER CURSO
GEAASIGNATURATIPOECTS
608899 608899 Arquitectura del nodo IoTObligatoria
6
608900 608900 Redes, protocolos e interfaces IObligatoria
6
608901 608901 Redes, protocolos e interfaces IIObligatoria
6
608902 608902 Tratamiento de datos masivosObligatoria
6
608903 608903 Diseño de infraestructura inteligente para el Internet de las CosasObligatoria
6
608904 608904 Seguridad y LegalidadObligatoria
6
608905 608905 Inteligencia Artificial aplicada a Internet de las CosasObligatoria
6
608906 608906 Prácticas en EmpresasOptativa
6
608907 608907 Laboratorio de Sistemas Inteligentes sobre Internet de las CosasOptativa
6
608908 608908 Trabajo fin de máster IoTObligatoria
12

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