Líneas de investigación

  • Verificación formal de software.
  • Prueba automática de teoremas.
  • Teoría de la demostración para lógicas no clásicas.
  • Aplicaciones de la lógica en ingeniería y computación.
  • Especificación y análisis de sistemas de eventos discretos.
  • Computación industrial.
  • Ingeniería en sistemas de procesamiento industrial.
  • Programación de tareas en sistemas de manufactura.
  • Sistemas distribuidos
  • Inteligencia artificial distribuida.
  • Realidad virtual distribuida y aumentada.
  • Trabajo cooperativo asistido por computadora.
  • Sistemas Distribuidos inteligentes
    • realidad virtual, vida artificial, sistemas multi agentes
  • Logica matemática aplicada
    • verificación formal de sistemas reactivos, teoría de la desmostración en lógicas no clásicas, semigrupos afines compactos
  • Lógica matematica aplicada
    • verificación formal de sistemas reactivos, teoría de la demostración en lógicas no clásicas, semigrupos afines compactos
  • Sistemas de eventos discretos
    • especificación; simulación y coordinación; diagnostico y recuperación de fallas; síntesis Redes y Protocolos de Comunicación
    • redes activas y convencionales, calidad de servicio y de experiencia a servicio; transmisión y codificación de servicios multimedia.
  • Reconocimiento de de patrones de aprendizaje automatizado
    • meta-aprendizaje; aplicaciones de aprendizaje en física y astronomía
CONTACTO

Sitio Web:
www.gdl.cinvestav.mx

Correo electrónico:
nexo@gdl.cinvestav.mx

Ubicación:
Unidad Guadalajara
Av. Cientifìca 1145
Colonia el Bajío, Zapopan
45015, Jalisco, México
Tel. (33) 37 77 3600
Fax. (33) 3777 3609

Última actualización 05/02/2020