Ciencias de la Computación

*Sistemas Distribuidos
*Algorítmica Distribuida
*Sistemas Multiagentes
*Realidad virtual distribuida y aumentada
*Sistemas de eventos discretos
*Simulación y coordinación de sistemas de manufactura discretos
*Minería de procesos
*Desarrollo de software distribuido basado en agentes
*Verificación formal
*Prueba automática de teoremas
*Aplicaciones de la lógica en ingeniería y computación
*Aplicación de las matemáticas a la computación
*Criptografía
*Álgebra lineal y geometría
*Ingeniería de sistema 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
*Modelado y análisis de sistemas en red: Ciencia de la ciudad con enfoque en el estudio del comportamiento complejo, emergente y agregado de las ciudades
*Análisis de intervenciones en sistemas a través del modelado computacional y simulación basada en agentes (MBA)
*Redes TIC: ciberseguridad, algoritmos de localización, Teletráfico, Comunicaciones V2X, QoS/QoE, Redes 5G/6G
*Machine learning
*Deep learning
*Inteligencia artificial
*Análisis de algoritmos
*Métodos de optimización estadísticos y numéricos
*Visión computacional.

Investigadores participantes:

Andrés Méndez Vázquez

Félix Francisco Ramos Corchado

Luis Ernesto López Mellado

Mario Ángel Siller González Pico

Raúl Ernesto González Torres