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

Manifest

  • Due to the negligent attitude of the administration of the University of Brasilia, the absurd attitude of the Ministry of Budget and Management from Brazil boycotting the academic career making a Brazilian Professor promoted to the top of his/her career to have his salary reduced to lower levels of the academic career, and finally, because of the pitty political attitude of the Professors union, for the first time in my life, I am joining a strike ... I am sorry dear students, but I'm suspending any activity related to other issues than those related to supervision of students and research.

    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