Doctor en Filosofía. en informática y matemáticas

General

Descripción del programa

120454_biblio_950x350.jpg

Área: Informática y Matemáticas.

  • Inteligencia Artificial y Sistemas Inteligentes.
  • Computación y matemática
  • La seguridad cibernética
  • Ciencia de datos y aprendizaje automático
  • Sistemas embebidos y IoT
  • Gestión de proceso
  • Ingeniería de Software y Sistemas de Información

Inteligencia Artificial y Sistemas Inteligentes.

  • Control adaptativo y optimización.
  • Políticas de adaptación
  • Sistemas colectivos y adaptativos.
  • Representación del conocimiento y razonamiento autonómico.

Computación y matemática

  • Aspectos algebraicos y lógicos de la informática.
  • Modelos computacionales y modelos de computación.
  • Lenguajes formales
  • Lenguajes algebraicos para dominios específicos.
  • Teoría de modelos
  • Aspectos metodológicos de la educación científica.120455_PhD1Year-Groupphoto.jpg

La seguridad cibernética

  • Control de acceso y políticas de uso de recursos
  • Tecnologías de libro mayor distribuido
  • Diseño de sistemas resilientes
  • Seguridad de la red
  • sistema de deteccion de intrusos

Ciencia de datos y aprendizaje automático

  • Modelos basados en datos de sistemas complejos.
  • Métodos de análisis de datos basados en la topología.
  • Verificación del sistema basado en datos
  • Optimización y técnicas econométricas.
  • Modelación discriminativa y generativa.

Sistemas embebidos y IoT

  • Middleware y servicios
  • Comunicación y redes para sistemas inalámbricos e integrados.
  • Specifica, progettazione e analisi, e verifica di sistemi embutido distribuiti
  • Sensor de redes inalámbricas
  • Eficiencia energética y recolección.

Gestión de proceso

  • Mejora continua de los sistemas de información basados en procesos.
  • Proceso de negocio de colaboración y distribuido que incluye Blockchain
  • Modelos para Sistemas Intensivos de Procesos
  • Técnicas de minería de procesos
  • Simulación y verificación de modelos de colaboración basados en datos.

Ingeniería de Software y Sistemas de Información

  • Ingeniería de Arquitectura Empresarial
  • Métodos Formales Aplicados y Herramientas de Verificación
  • Pruebas y verificación en un entorno distribuido.
  • Análisis cuantitativo y herramientas
  • Monitoreo y verificación en tiempo de ejecución
Última actualización Mar 2020

Acerca del centro educativo

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education.

UNICAM has instituted an International School of Advanced Studies with the objective of increasing the internationalisation of Doctoral education. Leer menos