Laboratorio de Computación
- Verificación formal de Software.
- Prueba Automática de Teorema.
- Teoría de la demostración para lógicas no clásicas.
Laboratorio de Control Automático
- Control inteligente por modos deslizantes de orden alto con redes neuronales y lógica difusa.
- Optimización multiobjetivo basado en redes neuronales para la Eficiencia Energética en Cooperativa Multi-Microrred.
Laboratorio de Telecomunicaciones
- Procesamiento de imágenes y videos mediante tensores con aplicaciones a los sistemas inteligentes de transporte
- Procesamiento de imágenes multi- e hiperespectrales de sensato remoto
Laboratorio de Telecomunicaciones
- Seguridad para dispositivos del IoT.
- Análisis de redes complejas para seguridad informática.
- Algoritmos paralelos para análisis de redes complejas.
Laboratorio de Computación
- Ingeniería de sistemas en red: diseño arquitectónico y algorítmico, sistemas auto-diseñados. IoT con casos de estudio en los dominios de ciudades inteligentes, salud, industria 4.0, sistemas de transporte inteligente, agricultura urbana y Blockchain.
- Redes TIC: ciberseguridad, algoritmos de localización, Teletráfico, Comunicaciones V2X, QoS/QoE, Redes 5G/6G