Mauricio Ayala Rincón, Dr. rer. nat.
Profesor Titular
Teoria de la Computación
Departamentos de Ciencia de La Computación y Matemáticas
Universidad de Brasília

Dirección:
Departamento de Matemática, Universidade de Brasília
Campus Universitário Darcy Ribeiro, Asa Norte
70910-900 Brasilia D. F., Brasil
Tels. +55-61-3307 2441|2442| +55-61- 3107 6453 Fax +55-61-3273 2737
e-mail: ayala[at]unb.br
Publicaciones
Cursos
Actividades Profesionales CV Lattes
Oferta de orientación Grupo de Teoria da Computação

Tópicos de investigación:
Propiedades y aplicaciones de los sistemas de reescritura de terminos y sus extensiones. Links relacionados
English Português

Oportunidades

  • Curso de Verano en Métodos Formales 26/01-05/02/2010.
    contacto: Prof. M. Ayala-Rincón. Con participaciõn de Cesar Muñoz (investigador en NASA Langley Research Center) en métodos formales. Tópicos: teoria de deducción y demostración y aplicaciones en avionics.
  • Curso de Verano en Arquitecturas Reconfigurcwables 26/01-05/02/2010
    contato: Prof. Ricardo Jacobi

  • ayala[at]unb.br