Mauricio Ayala Rincón, Dr. rer. nat.
Full Professor
Theory of Computation
Departments of Computer Science and Mathematics
Brasilia University

Address:
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
Publications
Courses
Professional Activities CV Lattes
Offered supervision Grupo de Teoria da Computação
Focus of Research:
Properties and applications of term rewriting systems and its extensions. Related links
Português Español

Opportunities

  • Summer course on Formal Methods 26/01-05/02/2010.
    contact: Prof. M. Ayala-Rincón. With participation of Cesar Muñoz (researcher at NASA Langley Research Center) on Formal Methods. Topics: fundamentals of deduction and proof theory, semantics of PVS and appications in avionics. (Foils 1rst part)
  • Summer course on Reconfigurable Architectures 26/01-05/02/2010
    contact: Prof. Ricardo Jacobi

    • ayala[at]unb.br