Mauricio Ayala Rincón
Professor Titular
Departamento de Ciência da Computação, Instituto de Ciências Exatas, Universidade de Brasília
Departamento de Matemática, Universidade de Brasília
Interesses
- Propriedades e aplicações de sistemas de reescrita de termos e suas extensões
Formação
-
Pós-Doutorado em Computabilidade e Modelos de Computação, 2000
Heriot-Watt University, HWU, Grã-Bretanha.
-
Pós-Doutorado em Análise de Algoritmos e Complexidade de Computação, 1994
Universidade de Brasília, UnB, Brasil.
-
Doutorado em Fachbereich Informatik, 1993
Universitaet Kaiserslautern, UNIKL, Alemanha.