Doctor en Filosofía. en informática y matemáticas University of Camerino the international School of Advanced Studies

Á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.

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