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 | 3676 Fax +55-61-3273 2737
e-mail: ayala[at]unb.br
Publicaciones
Cursos <<<== Inicio 29 Marzo de 2023 - actividades presenciales 2023-1/font>
PVS Class 2017 (asociado a ITP 2017) Mechanizing Mathematics (Tutorial UNCOL Manizales, 2023)
Actividades profesionais CV Lattes
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
TRS PVS teoria de reescrita
Alg. genéticos para ordenar permutaciones
English Português

Oportunidades

Becas para doctorado Entre en contacto, si interesado en Algorítmica, Formalización Matemática y Computacional, Prova de Teoremas, Deducción automática, Ética em AI, Algoritmos genéticos y Evolutivos, y Procesamiento de Información Genómica.
  • RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to Int. Conf. on Formal Structures for Computation and Deduction FSCD in 2016.
    FSCD 2023, Rome, Italy.
  • Int. Logical and Semantic Frameworks, with Applications LSFA 2023, affiliated to FSCD 2023, Rome, Italy.
  • International Conference on Interactive Theorem Proving ITP web page. ITP 2023, Bialystok, Poland.
  • 16th Conference on Intelligent Computer Mathematics CICM 2023, Cambridge, UK.
  • 12th International Workshop on Confluence IWC 2023, Obergurgl, Austria.
  • 37th International Workshop on Unification UNIF 2023, affiliated to FSCD 2023, Rome, Italy.
  • Current Conferences at GTC/UnB
  • Conferencias en curso en el GTC/UnB


    		• M. Ayala-Rincón & Flávio L.C. de Moura, Fundamentos da Programação Lógica e Funcional - O Princípio de Resolução e a Teoria de Reescrita -, Notas de Aula, Editora UnB, Diciembre 2014. En portugués.


    M. Ayala-Rincón & Flávio L.C. de Moura, Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs, Springer, 2017.

    ayala[at]unb.br