cinvestav.mx | Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional
  |   Entrar
23 / 09 / 2017

Áreas 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/computacion/

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) 3777 3600
Fax. (33) 3777 3609

Ver mapa de ubicación

Última actualización: 5 de Septiembre 2017

 

Copyright (c) 2017 Cinvestav
Av. Instituto Politécnico Nacional 2508, Col. San Pedro Zacatenco,
Delegación Gustavo A. Madero, México D.F. Código Postal 07360
Apartado Postal: 14-740, 07000 México, D.F. - Ver ubicación
Tel: +52 (55) 5747 3800
Aviso de privacidad y manejo de datos personales | Términos de Uso