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

  • Ph.D. and M.Sc. offered supervision on Logics and Meanings of Programs - Second semester 2012, Graduate Programme in Informatics (Notice of call for application) Contact by e-mail.
    Deadline: May the 25th, 2012.

    ayala[at]unb.br