Áreas de Intensificació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
  • Lógica matemática 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 de software distribuido
  • 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