Scholar
Mauricio Ayala Rincon
Google Scholar ID: hd3UcpsAAAAJ
Professor of Computer Science and Mathematics, Universidade de Brasilia
Citations & Impact
Citations
686
H-index
13
i10-index
26
Publications
20
Co-authors
24
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published several works including 'Fundamentos da Programação Lógica e Funcional - O Princípio de Resolução e a Teoria de Reescrita' (in Portuguese) and 'Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs' (Springer, 2017). Also involved in various research projects.
Research Experience
- Full Professor at the Departments of Computer Science and Mathematics, Brasilia University. Involved in multiple international conferences such as FSCD, CICM, LSFA, NFM, ITP, IWC, UNIF, and has given talks at these events.
Education
- Dr. rer. nat., advisor information not provided.
Background
- Research interests include Algoritmics, Computational and Mathematical Formalization, Theorem Proving, Automated Reasoning, Equational and Rewrite-based Deduction, Ethics in AI, Evolutionary and Genetic Algorithms, and Genomic Data Processing.
Miscellany
- Contact: ayala[at]unb.br
