Mauricio Ayala Rincón

Mauricio Ayala Rincón is a Full Professor at the Departments of Computer Science and Mathematics, Brasilia University, Brazil. He leads the Theory of Computation Group and contributes to research in formal methods, term rewriting systems, and automated reasoning.

Research Interests:

• Term Rewriting Systems and Their Extensions
• Computational Logic and Theorem Proving
• Evolutionary Algorithms for Genomic Data Processing
• Nominal Techniques in Formal Verification

Professional Activities:

• Conference Chair for CICM 2025
• Steering Committee member for FSCD (2018–2021), IWC (2022–2025), and ITP (2020–)
• PC Member/Chair for workshops/conferences like LSFA, UNIF, CEC, and others

Contact:

• Email: ayala@unb.br
• Address: Departamento de Matemática, Universidade de Brasília, Campus Universitário Darcy Ribeiro, Brasília DF, Brazil