Á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